Normalization and excluded middle. I

DOI10.1007/BF02770512zbMATH Open0692.03007OpenAlexW2036407372MaRDI QIDQ583185FDOQ583185

Authors 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

intuitionistic logicnormalizationclassical logicminimal logiclaw of the excluded middle

Mathematics Subject Classification ID

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

Recommendations

• Peirce's rule in natural deduction.
• Propositions in Prepositional Logic Provable Only by Indirect Proofs
• On normalizing disjunctive intermediate logics
• A new normalization strategy for the implicational fragment of classical propositional logic
• Peirce's rule in a full natural deduction system

Cites work

• scientific article; zbMATH DE number 3261581 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• scientific article; zbMATH DE number 3296223 (Why is no real title available?)
• scientific article; zbMATH DE number 3358455 (Why is no real title available?)
• scientific article; zbMATH DE number 3062910 (Why is no real title available?)
• Intensional interpretations of functionals of finite type I
• On the proof theory of the intermediate logic MH
• The system LD

Cited in

(15)

• 2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000. La Sorbonne, Paris, France, July 23-31, 2000
• Verificationism and Classical Realizability
• An alternative normalization of the implicative fragment of classical logic
• On constructive fragments of classical logic
• Extending the Curry-Howard interpretation to linear, relevant and other resource logics
• Normalisation and subformula property for a system of classical logic with Tarski's rule
• On normalizing disjunctive intermediate logics
• On the independence of premiss axiom and rule
• Propositions in Prepositional Logic Provable Only by Indirect Proofs
• Peirce's rule in natural deduction.
• Postponement of $\mathsf {raa}$ and Glivenko's theorem, revisited
• Peirce's rule in a full natural deduction system
• Prawitz, Proofs, and Meaning
• A new normalization strategy for the implicational fragment of classical propositional logic
• Full classical S5 in natural deduction with weak normalization

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q583185)