Some Classes of Kripke Frames Characteristic for the Intuitionistic Logic

DOI10.1002/MALQ.19790252505zbMath0423.03042OpenAlexW2085411767MaRDI QIDQ3856757

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

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

Related Items (2)

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

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