3 papers
cs.LO2025
Logical Inferentialism & Attacks on Classical Logic
Khashayar Irani
This paper undertakes a foundational inquiry into logical inferentialism with particular emphasis on the normative standards it establishes and the implications these pose for clas…
cs.LO2025
The Proof-Theoretic Origin of Double Negation Introduction & Elimination
Khashayar Irani
This paper investigates the proof-theoretic foundations of double negation introduction (DNI) and double negation elimination (DNE) in classical logic. By examining both sequent ca…
cs.LO2025
Proof Analysis of A Foundational Classical Singlesuccedent Sequent Calculus
Khashayar Irani
In this paper we investigate the question: 'How can A Foundational Classical Singlesuccedent Sequent Calculus be formulated?' The choice of this particular area of proof-theoretic…