Gentzen and Jaśkowski natural deduction: fundamentally similar but importantly different

DOI10.1007/s11225-014-9564-1zbMath1344.03044OpenAlexW2034981868MaRDI QIDQ2259008

Francis Jeffry Pelletier, Allen P. Hazen

Publication date: 27 February 2015

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-014-9564-1

zbMATH Keywords

natural deductionintuitionistic logicclassical logicinferential semanticsGentzenSheffer functionsgeneralized natural deductionJaśkowski

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Classical propositional logic (03B05) Structure of proofs (03F07) History of mathematical logic and foundations (03-03) Proof theory in general (including proof-theoretic semantics) (03F03) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (14)

Book review of: J. W. Garson, Modal logic for philosophers. 2nd ed. ⋮ Natural deduction for the Sheffer stroke and Peirce's arrow (and any other truth-functional connective) ⋮ Natural deduction for Post's logics and their duals ⋮ Correspondence analysis and automated proof-searching for first degree entailment ⋮ TRANSLATIONS BETWEEN LINEAR AND TREE NATURAL DEDUCTION SYSTEMS FOR RELEVANT LOGICS ⋮ Stanisław Jaśkowski and Natural Deduction Systems ⋮ K3, Ł3, LP, RM3, A3, FDE, M: How to Make Many-Valued Logics Work for You ⋮ The calculus of higher-level rules, propositional quantification, and the foundational approach to proof-theoretic harmony ⋮ Translations between Gentzen-Prawitz and Jaśkowski-Fitch natural deduction proofs ⋮ Prawitz, Proofs, and Meaning ⋮ Automated Proof-searching for Strong Kleene Logic and its Binary Extensions via Correspondence Analysis ⋮ Normality, non-contamination and logical depth in classical natural deduction ⋮ Human-centered automated proof search ⋮ Relevance Logic as a Conservative Extension of Classical Logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Logic: a history of its central concepts
• General-elimination harmony and the meaning of the logical constants
• Natural deduction, hybrid systems and modal logics
• Proof methods for modal and intuitionistic logics
• An intuitionistic Sheffer function
• The adequacy problem for inferential logic
• Untersuchungen über das logische Schliessen. I
• On the rules of suppositions in formal logic
• The calculus of higher-level rules, propositional quantification, and the foundational approach to proof-theoretic harmony
• What is the logic of inference?
• Existential import revisited
• Logical consequence in modal logic: Natural deduction in S5
• Actuality and quantification
• A Brief History of Natural Deduction
• A theory of restricted quantification I
• The Stroke Function in Natural Deduction
• A natural extension of natural deduction
• Is Even Minimal Negation Constructive?
• On the rules of proof in the pure functional calculus of the first order
• Quantification theory and empty individual-domains
• Quantification and the empty domain

This page was built for publication: Gentzen and Jaśkowski natural deduction: fundamentally similar but importantly different