NORMAL DERIVABILITY IN CLASSICAL NATURAL DEDUCTION
From MaRDI portal
Publication:2890694
DOI10.1017/S1755020311000311zbMath1248.03077MaRDI QIDQ2890694
Publication date: 11 June 2012
Published in: The Review of Symbolic Logic (Search for Journal in Brave)
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
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
Cites Work