Normalization and excluded middle. I

DOI10.1007/BF02770512zbMath0692.03007OpenAlexW2036407372MaRDI QIDQ583185

Jonathan P. Seldin

Publication date: 1989

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02770512

zbMATH Keywords

normalizationintuitionistic logicclassical logicminimal logiclaw of the excluded middle

Mathematics Subject Classification ID

Classical first-order logic (03B10) Cut-elimination and normal-form theorems (03F05) Classical propositional logic (03B05) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (11)

Postponement of $\mathsf {raa}$ and Glivenko's theorem, revisited ⋮ Extending the Curry-Howard interpretation to linear, relevant and other resource logics ⋮ 2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000 ⋮ Verificationism and Classical Realizability ⋮ Full classical S5 in natural deduction with weak normalization ⋮ Peirce's Rule in a Full Natural Deduction System ⋮ A new normalization strategy for the implicational fragment of classical propositional logic ⋮ Prawitz, Proofs, and Meaning ⋮ On Constructive Fragments of Classical Logic ⋮ An alternative normalization of the implicative fragment of classical logic ⋮ Normalisation and subformula property for a system of classical logic with Tarski's rule

Cites Work

• On the proof theory of the intermediate logic MH
• Intensional interpretations of functionals of finite type I
• The system LD
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Normalization and excluded middle. I