A constructive valuation semantics for classical logic

DOI10.1305/ndjfl/1039886522zbMath0882.03007OpenAlexW2000752486MaRDI QIDQ1355127

Franco Barbanera, Stefano Berardi

Publication date: 12 March 1998

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1039886522

zbMATH Keywords

intuitionistic provabilityclassical provabilityfragment of classical logic

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items

Unnamed Item

Cites Work

• Zur Deutung der intuitionistischen Logik
• Mathematical significance of consistency proofs
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item