Normalization and excluded middle. I
From MaRDI portal
Publication:583185
DOI10.1007/BF02770512zbMath0692.03007MaRDI QIDQ583185
Publication date: 1989
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf02770512
03B10: Classical first-order logic
03F05: Cut-elimination and normal-form theorems
03B05: Classical propositional logic
03B20: Subsystems of classical logic (including intuitionistic logic)
Related Items
Peirce's Rule in a Full Natural Deduction System, Prawitz, Proofs, and Meaning, On Constructive Fragments of Classical Logic, A new normalization strategy for the implicational fragment of classical propositional logic, Normalisation and subformula property for a system of classical logic with Tarski's rule, An alternative normalization of the implicative fragment of classical logic, Full classical S5 in natural deduction with weak normalization, Postponement of $\mathsf {raa}$ and Glivenko's theorem, revisited, 2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000, Verificationism and Classical Realizability, Extending the Curry-Howard interpretation to linear, relevant and other resource logics
Cites Work