Khashayar Irani

According to our database¹, Khashayar Irani authored at least 3 papers in 2025.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2025

The Proof-Theoretic Origin of Double Negation Introduction & Elimination.

[DOI]

CoRR, September, 2025

Proof Analysis of A Foundational Classical Singlesuccedent Sequent Calculus.

[DOI]

CoRR, July, 2025

Logical Inferentialism & Attacks on Classical Logic.

[DOI]

CoRR, June, 2025