Homomorphisms and chains of Kripke models

DOI10.1007/S00153-010-0224-5MaRDI QIDQ535159zbMATH OpenOpenAlexFDO

Authors Morteza Moniri, Mostafa Zaare

Publication date 11 May 2011

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00153-010-0224-5

zbMATH Keywords

intuitionistic logicelementary submodelKripke modelexistential sentenceunion of chainuniversal sentence

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) First-order arithmetic and fragments (03F30) Interpolation, preservation, definability (03C40) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Recommendations

• Syntactic preservation theorems for intuitionistic predicate logic
• Preservation theorems for Kripke models
• Kripke submodels and universal sentences
• Submodels of Kripke models
• scientific article; zbMATH DE number 3957081

Cites work

• scientific article; zbMATH DE number 1007358 (Why is no real title available?)
• Computer science logic. 10th international workshop, CSL '96. Annual conference of the EACSL, Utrecht, the Netherlands. September 21--27, 1996. Selected papers
• Constructivism in mathematics. An introduction. Volume II
• Existence and feasibility in arithmetic
• Fragments of HA based on \(\Sigma_ 1\)-induction
• Intuitionistic validity in \(T\)-normal Kripke structures
• Kripke submodels and universal sentences
• On the structure of kripke models of heyting arithmetic
• Preservation theorems for Kripke models
• Some results on Kripke models over an arbitrary fixed frame
• Submodels of Kripke models
• Syntactic preservation theorems for intuitionistic predicate logic

Cited in

(5)

• Back and Forth Between First-Order Kripke Models
• Kripke submodels and universal sentences
• Syntactic preservation theorems for intuitionistic predicate logic
• New Computational Paradigms
• Kripke models, distributive lattices, and Medvedev degrees

This page was built for publication: Homomorphisms and chains of Kripke models

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