scientific article; zbMATH DE number 4170862

MaRDI QIDQ3496308zbMATH OpenFDO

Authors Branislav Boričić

Publication date 1990

zbMATH Keywords

Gödel translationHeyting predicate calculusinterpretation of classical logic in intuitionistic logicsuperintuitionistic logic

Mathematics Subject Classification ID

Classical first-order logic (03B10) Subsystems of classical logic (including intuitionistic logic) (03B20) Intermediate logics (03B55)

Recommendations

• ON SOME INTERPRETATIONS OF CLASSICAL LOGIC
• scientific article; zbMATH DE number 1858065
• scientific article; zbMATH DE number 3981153
• Modal translations in substructural logics
• An embedding of the implicative fragment of classical logic into the implicative fragment of intuitionistic logic

Cited in

(3)

• Oskar Becker and the modal translation of intuitionistic logic
• scientific article; zbMATH DE number 6139995 (Why is no real title available?)
• Temporal Gödel-Gentzen and Girard translations

This page was built for publication:

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