Constants in Kripke Models for Intuitionistic Logic

DOI10.1002/MALQ.19950410402zbMath0837.03005OpenAlexW2007679852MaRDI QIDQ4857856

Daniel Dzierzgowski

Publication date: 13 May 1996

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

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

zbMATH Keywords

completenesscompactnessKripke semanticsintuitionistic logicback- and-forth construction

Mathematics Subject Classification ID

Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Subsystems of classical logic (including intuitionistic logic) (03B20)

Cites Work

• Semantical investigations in Heyting's intuitionistic logic
• Model theory for modal logic. Kripke models for modal predicate calculi
• An intuitiomstic completeness theorem for intuitionistic predicate logic

This page was built for publication: Constants in Kripke Models for Intuitionistic Logic