TY  - RPRT
TI  - Rule extensions of the implication--negation fragment of intuitionistic logic
AU  - Tomasz Kowalski
AU  - Katarzyna Słomczyńska
PY  - 2026
UR  - https://arxiv.org/abs/2611.05928
ID  - 2611.05928
ER  -