On Constructive Fragments of Classical Logic

DOI10.1007/978-3-319-11041-7_12zbMath1429.03059OpenAlexW2242851078MaRDI QIDQ5213615

Luiz Carlos Pereira, Edward Hermann Haeusler

Publication date: 4 February 2020

Published in: Dag Prawitz on Proofs and Meaning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-11041-7_12

zbMATH Keywords

proof theoryintuitionistic logicclassical logicconstructive interpretations

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Proof theory in general (including proof-theoretic semantics) (03F03) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (3)

Postponement of $\mathsf {raa}$ and Glivenko's theorem, revisited ⋮ The Jacobson radical for an inconsistency predicate ⋮ THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY

Cites Work

• Unnamed Item
• Normalization and excluded middle. I
• A new normalization strategy for the implicational fragment of classical propositional logic
• A new S4 classical modal logic in natural deduction
• On the proof theory of the intermediate logic MH
• On cut elimination in the presence of perice rule
• Über das Verhältnis zwischen intuitionistischer und klassischer Arithmetik

This page was built for publication: On Constructive Fragments of Classical Logic