Peirce's rule in a full natural deduction system

DOI10.1016/J.ENTCS.2009.11.002MaRDI QIDQ5170286zbMATH OpenOpenAlexFDO

Authors

Publication date 23 July 2014

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2009.11.002

zbMATH Keywords

natural deductionnormalizationPeirce rule

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05)

Recommendations

• Peirce's rule in natural deduction.
• A new normalization strategy for the implicational fragment of classical propositional logic
• Strong normalization of classical natural deduction with disjunctions
• Normalization theorems for full first order classical natural deduction
• Normal derivability in classical natural deduction

Cites work

• scientific article; zbMATH DE number 3735770 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• scientific article; zbMATH DE number 3358455 (Why is no real title available?)
• A new normalization strategy for the implicational fragment of classical propositional logic
• Logic as Mathematical Science
• Normalization and excluded middle. I
• On cut elimination in the presence of perice rule
• On the proof theory of the intermediate logic MH
• Peirce's rule in natural deduction.

Cited in

(5)

• Classical logic, intuitionistic logic, and the Peirce rule
• Normalization and excluded middle. I
• Correspondence analysis and automated proof-searching for first degree entailment
• Peirce's rule in natural deduction.
• A new normalization strategy for the implicational fragment of classical propositional logic

This page was built for publication: Peirce's rule in a full natural deduction system

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