scientific article
From MaRDI portal
Publication:3797163
zbMATH Open0652.03014MaRDI QIDQ3797163
Publication date: 1987
Full work available at URL: https://eudml.org/doc/189951
Title of this publication is not available (Why is that?)
completenessintuitionistic logicmodal logicsintermediate logicssuperintuitionistic logicexpressibility of formulas
Modal logic (including the logic of norms) (03B45) Subsystems of classical logic (including intuitionistic logic) (03B20) Intermediate logics (03B55)
Related Items (2)
Encoding two-valued nonclassical logics in classical logic ⋮ Conditions for the applicability of classical logic in the framework of languages of nonclassical logics
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 Q3797163)
