An interpretation of classical proofs

DOI10.1007/BF02329200MaRDI QIDQ1050333zbMATH OpenFDO

Authors Glen Helman

Publication date 1983

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

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

zbMATH Keywords

classical first-order logicclosed modelscompleteness resultsequivalence relationintuitionistic logicstructure of justification

Mathematics Subject Classification ID

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

Cites work

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

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

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