Natural Deduction for the Sheffer Stroke and Peirce’s Arrow (and any Other Truth-Functional Connective)

Journal of Philosophical Logic 45 (2):183-197 (2016)
Download Edit this record How to cite View on PhilPapers
Abstract
Methods available for the axiomatization of arbitrary finite-valued logics can be applied to obtain sound and complete intelim rules for all truth-functional connectives of classical logic including the Sheffer stroke and Peirce’s arrow. The restriction to a single conclusion in standard systems of natural deduction requires the introduction of additional rules to make the resulting systems complete; these rules are nevertheless still simple and correspond straightforwardly to the classical absurdity rule. Omitting these rules results in systems for intuitionistic versions of the connectives in question.
Categories
(categorize this paper)
ISBN(s)
PhilPapers/Archive ID
ZACNDF
Upload history
First archival date: 2017-10-25
Latest version: 4 (2017-10-25)
View other versions
Added to PP index
2015-05-11

Total views
222 ( #28,889 of 64,219 )

Recent downloads (6 months)
18 ( #34,766 of 64,219 )

How can I increase my downloads?

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