Constants in Kripke Models for Intuitionistic Logic

DOI10.1002/MALQ.19950410402MaRDI QIDQ4857856zbMATH OpenOpenAlexFDO

Authors 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

back- and-forth constructioncompactnesscompletenessintuitionistic logicKripke semantics

Mathematics Subject Classification ID

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

Recommendations

• Some results on Kripke models over an arbitrary fixed frame
• Intuitionistic axiomatizations for bounded extension Kripke models.
• scientific article; zbMATH DE number 5839768
• ON THE THEORY OF MODELS FOR INTUITIONISTIC LOGIC
• New intuitionistic logical constants and Novikov completeness

Cites work

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

Cited in

(6)

• On the number of new logical constants in intuitionistic propositional calculus
• Intuitionistic axiomatizations for bounded extension Kripke models.
• On the extension of intuitionistic propositional logic with Kreisel- Putnam's and Scott's schemes
• The continuum and first-order intuitionistic logic
• Axiomatic classes of intuitionistic models
• Intuitionistic validity in \(T\)-normal Kripke structures

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

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