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

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

Authors: Richard Zach 

Publication date: 25 May 2016

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

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.

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

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

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)

Cites Work

• Untersuchungen über das logische Schliessen. I
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Gentzen and Jaśkowski natural deduction: fundamentally similar but importantly different
• Title not available (Why is that?)
• Title not available (Why is that?)
• Natural deduction with general elimination rules
• Title not available (Why is that?)
• Title not available (Why is that?)
• Concerning formulas of the types A→B ν C,A →(Ex)B(x) in intuitionistic formal systems
• The Stroke Function in Natural Deduction
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (5)

• Title not available (Why is that?)
• CUT ELIMINATION AND NORMALIZATION FOR GENERALIZED SINGLE AND MULTI-CONCLUSION SEQUENT AND NATURAL DEDUCTION CALCULI
• ARBITRARY TRUTH-VALUE FUNCTIONS AND NATURAL DEDUCTION
• Title not available (Why is that?)
• A general schema for bilateral proof rules

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)