Natural deduction for the Sheffer stroke and Peirce's arrow (and any other truth-functional connective)

DOI10.1007/S10992-015-9370-XzbMATH Open1392.03018OpenAlexW3104357504MaRDI QIDQ288247FDOQ288247

Authors Richard Zach

Publication date 25 May 2016

Published in Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1504.05995

zbMATH Keywords

natural deductionsequent calculusSheffer stroke

Mathematics Subject Classification ID

Classical propositional logic (03B05) Proof theory in general (including proof-theoretic semantics) (03F03) Cut-elimination and normal-form theorems (03F05) Abstract deductive systems (03B22)

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 (NAND) and Peirce's arrow (NOR). 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.

Recommendations

• Deriving natural deduction rules from truth tables
• scientific article; zbMATH DE number 3878891
• Peirce's rule in natural deduction.
• Intelim rules for classical connectives
• A natural extension of natural deduction

Cites work

• scientific article; zbMATH DE number 446843 (Why is no real title available?)
• scientific article; zbMATH DE number 3125691 (Why is no real title available?)
• scientific article; zbMATH DE number 1324438 (Why is no real title available?)
• scientific article; zbMATH DE number 1337625 (Why is no real title available?)
• scientific article; zbMATH DE number 1497485 (Why is no real title available?)
• scientific article; zbMATH DE number 777292 (Why is no real title available?)
• scientific article; zbMATH DE number 3254863 (Why is no real title available?)
• scientific article; zbMATH DE number 3269848 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• scientific article; zbMATH DE number 3291106 (Why is no real title available?)
• scientific article; zbMATH DE number 3076631 (Why is no real title available?)
• Concerning formulas of the types A→B ν C,A →(Ex)B(x) in intuitionistic formal systems
• Gentzen and Jaśkowski natural deduction: fundamentally similar but importantly different
• Natural deduction with general elimination rules
• The Stroke Function in Natural Deduction
• Untersuchungen über das logische Schliessen. I

Cited in

(7)

• ARBITRARY TRUTH-VALUE FUNCTIONS AND NATURAL DEDUCTION
• scientific article; zbMATH DE number 3878891 (Why is no real title available?)
• A general schema for bilateral proof rules
• scientific article; zbMATH DE number 3916222 (Why is no real title available?)
• Deriving natural deduction rules from truth tables
• Intelim rules for classical connectives
• Cut elimination and normalization for generalized single and multi-conclusion sequent and natural deduction calculi

This page was built for publication: Natural deduction for the Sheffer stroke and Peirce's arrow (and any other truth-functional connective)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q288247)