Axiomatic classes of intuitionistic models

MaRDI QIDQ5310880zbMATH OpenFDO

Authors Robert Goldblatt

Publication date 15 October 2007

Full work available at URL http://www.jucs.org/jucs_11_12/axiomaatic_classes_of

zbMATH Keywords

bisimulationdisjoint unionintuitionistic logiciterated ultrapowerKripke modelprime filtersaturated model

Mathematics Subject Classification ID

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

Recommendations

• Intuitionistic axiomatizations for bounded extension Kripke models.
• scientific article; zbMATH DE number 5839768
• Some characterization and preservation theorems in modal logic
• Constants in Kripke Models for Intuitionistic Logic
• ON THE THEORY OF MODELS FOR INTUITIONISTIC LOGIC

Cited in

(10)

• Classical and intuitionistic models of arithmetic
• Model theory of functors: Axiomatizability problems
• Intuitionistic axiomatizations for bounded extension Kripke models.
• A characterization theorem for injective model classes axiomatized by general rules
• Model theory under the axiom of determinateness
• scientific article; zbMATH DE number 67030 (Why is no real title available?)
• Models of intuitionistic TT and NF
• Properties of saturation in monotonic neighbourhood models and some applications
• Modal meet-implication logic
• Dual counterpart intuitionistic logic

This page was built for publication: Axiomatic classes of intuitionistic models

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