Peirce's rule in a full natural deduction system

DOI10.1016/J.ENTCS.2009.11.002zbMATH Open1291.03109OpenAlexW2056630269MaRDI QIDQ5170286FDOQ5170286

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

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

zbMATH Keywords

natural deductionnormalizationPeirce rule

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the proof theory of the intermediate logic MH
• Normalization and excluded middle. I
• Peirce's rule in natural deduction.
• On cut elimination in the presence of perice rule
• A new normalization strategy for the implicational fragment of classical propositional logic
• Logic as Mathematical Science

Cited In (5)

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

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)