Logique Et Analyse 146:169-208 (1994)
This paper presents two systems of natural deduction for the rejection of non-tautologies of classical propositional logic. The first system is sound and complete with respect to the body of all non-tautologies, the second system is sound and complete with respect to the body of all contradictions. The second system is a subsystem of the first. Starting with Jan Łukasiewicz's work, we describe the historical development of theories of rejection for classical propositional logic. Subsequently, we present the two systems of natural deduction and prove them to be sound and complete. We conclude with a ‘Theorem of Inversion’.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Completeness Via Correspondence for Extensions of the Logic of Paradox.Barteld Kooi & Allard Tamminga - 2012 - Review of Symbolic Logic 5 (4):720-730.
A Natural Deduction System for First Degree Entailment.Allard Tamminga & Koji Tanaka - 1999 - Notre Dame Journal of Formal Logic 40 (2):258-272.
The Deduction Rule and Linear and Near-Linear Proof Simulations.Maria Luisa Bonet & Samuel R. Buss - 1993 - Journal of Symbolic Logic 58 (2):688-709.
The Geometry of Non-Distributive Logics.Greg Restall & Francesco Paoli - 2005 - Journal of Symbolic Logic 70 (4):1108 - 1126.
Two Natural Deduction Systems for Hybrid Logic: A Comparison. [REVIEW]Torben Braüner - 2004 - Journal of Logic, Language and Information 13 (1):1-23.
Relational Proof System for Relevant Logics.Ewa Orlowska - 1992 - Journal of Symbolic Logic 57 (4):1425-1440.
Complementary Logics for Classical Propositional Languages.Achille C. Varzi - 1992 - Kriterion: Journal of Philosophy 4 (1):20-24.
A Double Deduction System for Quantum Logic Based on Natural Deduction.Yannis Delmas-Rigoutsos - 1997 - Journal of Philosophical Logic 26 (1):57-67.
Natural Deduction for First-Order Hybrid Logic.Torben BraÜner - 2005 - Journal of Logic, Language and Information 14 (2):173-198.
Natural Deduction for Non-Classical Logics.David Basin, Seán Matthews & Luca Viganò - 1998 - Studia Logica 60 (1):119-160.
Algorithmic Proof Methods and Cut Elimination for Implicational Logics Part I: Modal Implication.Dov M. Gabbay & Nicola Olivetti - 1998 - Studia Logica 61 (2):237-280.
Modal Extensions of Sub-Classical Logics for Recovering Classical Logic.Marcelo E. Coniglio & Newton M. Peron - 2013 - Logica Universalis 7 (1):71-86.
Added to index2012-01-24
Total downloads225 ( #15,327 of 2,146,897 )
Recent downloads (6 months)72 ( #2,323 of 2,146,897 )
How can I increase my downloads?
There are no threads in this forum
Nothing in this forum yet.