Logics of rejection: two systems of natural deduction

Logique Et Analyse 146:169-208 (1994)
Download Edit this record How to cite View on PhilPapers
Abstract
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)
PhilPapers/Archive ID
TAMLOR
Revision history
Archival date: 2015-11-21
View upload history
References found in this work BETA
A System of Modal Logic.Łukasiewicz, Jan
On Proofs of Rejection.Staszek, Walenty

View all 9 references / Add more references

Citations of this work BETA

Add more citations

Added to PP index
2012-01-24

Total views
620 ( #6,079 of 50,259 )

Recent downloads (6 months)
42 ( #14,400 of 50,259 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks to external links.