Relations between ex falso, tertium non datur, and double negation elimination

2013/04/01 by Vizcaíno, Pedro Francisco Valencia
#FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO)

paper · doi:10.48550/arxiv.1304.0272

Abstract

We show which implicational relations hold between the three principles ex falso sequitur quodlibet, tertium non datur, and double negation elimination, on the basis of minimal logic.

Related

• The Proof-Theoretic Origin of Double Negation Introduction & Elimination
• Double-Negation Elimination in Some Propositional Logics
• Classifying Material Implications over Minimal Logic
• Defining implication relation for classical logic
• Proofs of some Propositions of the semi-Intuitionistic Logic with Strong Negation