scientific article

zbMATH Open0712.03004MaRDI QIDQ3496308

Branislav Boričić

Publication date: 1990

Title of this publication is not available (Why is that?)

zbMATH Keywords

superintuitionistic logicGödel translationHeyting predicate calculusinterpretation of classical logic in intuitionistic logic

Mathematics Subject Classification ID

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

Related Items (2)

Oskar Becker and the modal translation of intuitionistic logic ⋮ Title not available (Why is that?)

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)