NORMAL DERIVABILITY IN CLASSICAL NATURAL DEDUCTION

DOI10.1017/S1755020311000311zbMath1248.03077MaRDI QIDQ2890694

Jan von Plato, Annika Kanckos

Publication date: 11 June 2012

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

zbMATH Keywords

proof theorynormalizationnatural deduction

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Classical first-order logic (03B10) Cut-elimination and normal-form theorems (03F05) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (5)

Postponement of $\mathsf {raa}$ and Glivenko's theorem, revisited ⋮ Normalisation and subformula property for a system of intuitionistic logic with general introduction and elimination rules ⋮ Prawitz, Proofs, and Meaning ⋮ Normality, non-contamination and logical depth in classical natural deduction ⋮ CUT FOR CLASSICAL CORE LOGIC

Uses Software

• Pesca

Cites Work

• Unnamed Item
• Natural deduction with general elimination rules
• Gentzen's Proof Systems: Byproducts in a Work of Genius
• A SEQUENT CALCULUS ISOMORPHIC TO GENTZEN’S NATURAL DEDUCTION
• Proof Analysis
• Normalization theorems for full first order classical natural deduction
• Normal derivability in modal logic

This page was built for publication: NORMAL DERIVABILITY IN CLASSICAL NATURAL DEDUCTION