Publication

Logics of rejection: two systems of natural deduction

Tamminga, A., 1994, In : Logique et Analyse. 146, p. 169 - 208 40 p.

Research output: Contribution to journalArticleAcademicpeer-review

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’.
Original languageEnglish
Pages (from-to)169 - 208
Number of pages40
JournalLogique et Analyse
Volume146
Publication statusPublished - 1994

ID: 12559481