Axiomatization of intuitionistic logics defined by small frames

MaRDI QIDQ4553570zbMATH OpenFDO

Authors Stepan I. Bashmakov, M. I. Golovanov

Publication date 30 October 2018

Full work available at URL http://mathnet.ru/eng/svfu/v24/i1/p6

zbMATH Keywords

axiomatization of logicKripke framesuperintuitionistic logic

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

Recommendations

• scientific article; zbMATH DE number 3873298
• Non-axiomatizable second order intuitionistic propositional logic
• scientific article; zbMATH DE number 3950488
• Axiomatization of the First‐Order Intermediate Logics of Bounded Kripkean Heights II
• scientific article; zbMATH DE number 1303434

This page was built for publication: Axiomatization of intuitionistic logics defined by small frames

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