scientific article

zbMath0607.03006MaRDI QIDQ3745828

Kosta Došen

Publication date: 1986

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

intuitionistic logicS5Barcan formulanecessity operatorintuitionistic modal logicsKripke-style modelspropositional calculimodal translationsdouble-negation translationsembedding of classical logic in Heyting's logicembedding of Heyting's logic in S4Heyting's first-order logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Classical first-order logic (03B10) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (3)

The first axiomatization of relevant logic ⋮ Unnamed Item ⋮ Algebraic semantics for the (↔, ¬¬)-fragment of IPC

This page was built for publication: