TY  - RPRT
TI  - The Proof-Theoretic Origin of Double Negation Introduction & Elimination
AU  - Khashayar Irani
PY  - 2025
UR  - https://arxiv.org/abs/2509.17623
ID  - 2509.17623
ER  -