Some Classes of Kripke Frames Characteristic for the Intuitionistic Logic

DOI10.1002/MALQ.19790252505MaRDI QIDQ3856757zbMATH OpenOpenAlexFDO

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)