Peirce's rule in natural deduction.

DOI10.1016/S0304-3975(01)00296-1zbMath1048.03044MaRDI QIDQ1607223

Ernst Zimmermann

Publication date: 31 July 2002

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

natural deductionclassical predicate logicPeirce's ruleweak normalisation

Mathematics Subject Classification ID

Classical first-order logic (03B10) Cut-elimination and normal-form theorems (03F05)

Related Items

SUBFORMULA AND SEPARATION PROPERTIES IN NATURAL DEDUCTION VIA SMALL KRIPKE MODELS, Peirce's Rule in a Full Natural Deduction System, A new normalization strategy for the implicational fragment of classical propositional logic, 2002 European Summer Meeting of the Association for Symbolic Logic Logic Colloquium '02, 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08, Deduction normalization theorem for Sette's logic and its modifications, Single-assumption systems in proof-theoretic semantics, Normalisation for Some Quite Interesting Many-Valued Logics, An alternative normalization of the implicative fragment of classical logic

Cites Work

• Untersuchungen über das logische Schliessen. I
• On cut elimination in the presence of perice rule
• Normalization theorems for full first order classical natural deduction
• Unnamed Item
• Unnamed Item