An interpretation of classical proofs

DOI10.1007/BF02329200zbMath0513.03007MaRDI QIDQ1050333

Glen Helman

Publication date: 1983

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

zbMATH Keywords

intuitionistic logicclassical first-order logicequivalence relationclosed modelscompleteness resultsstructure of justification

Mathematics Subject Classification ID

Classical first-order logic (03B10) Structure of proofs (03F07) Other classical first-order model theory (03C68)

Cites Work

• On analysing relevance constructively
• The Connection between Equivalence of Proofs and Cartesian Closed Categories
• Adjointness in Foundations
• Meaning and proofs: on the conflict between classical and intuitionistic logic
• Normalization as a homomorphic image of cut-elimination
• Deductive systems and categories

This page was built for publication: An interpretation of classical proofs