Some Classes of Kripke Frames Characteristic for the Intuitionistic Logic

DOI10.1002/MALQ.19790252505zbMATH Open0423.03042OpenAlexW2085411767MaRDI QIDQ3856757FDOQ3856757

Authors: Robert E. Kirk 

Publication date: 1979

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19790252505

zbMATH Keywords

intuitionistic propositional logicKripke framesinfinite binary tree

Mathematics Subject Classification ID

Intuitionistic mathematics (03F55) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Cited In (2)

• A semantic hierarchy for intuitionistic logic
• The disjunction property of intermediate propositional logics

This page was built for publication: Some Classes of Kripke Frames Characteristic for the Intuitionistic Logic

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