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

DOI10.1007/s10992-015-9370-xzbMath1392.03018arXiv1504.05995OpenAlexW3104357504MaRDI QIDQ288247

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

sequent calculusnatural deductionSheffer stroke

Mathematics Subject Classification ID

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

Related Items (1)

CUT ELIMINATION AND NORMALIZATION FOR GENERALIZED SINGLE AND MULTI-CONCLUSION SEQUENT AND NATURAL DEDUCTION CALCULI

Cites Work

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

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