Logical Inferentialism & Attacks on Classical Logic. - Khashayar Irani (CoRR, 2025)

Proof Analysis of A Foundational Classical Singlesuccedent Sequent Calculus. - Khashayar Irani (CoRR, 2025)

The Proof-Theoretic Origin of Double Negation Introduction & Elimination. - Khashayar Irani (CoRR, 2025)