6 papers
The Nonlocal Nature of Natural Deduction & the Introduction of Assumptions in Derivations
Khashayar Irani
This concise manuscript investigates the nonlocal nature of natural deduction, particularly the possibility of introducing assumptions at intermediate stages of a derivation after…
Neutral-Atom-based Quantum Optimization for Resource Allocation in NOMA Networks
Patatchona Keyela, Remon Polus, Soumaya Cherkaoui +1
In wireless communication networks, many resource optimization problems are nondeterministic polynomial-time hard (NP-hard) due to their combinatorial nature and high computational…
Warrant Theory
Khashayar Irani
In this paper, we develop warrant theory as a philosophical discipline concerned with the inferential legitimacy of propositions within logical analysis. Warrant theory reconceptua…
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…
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…
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…