Archive for Mathematical Logic 50 (3-4):431-443 (2011)
AbstractIn this paper we define a suitable version of the notion of homomorphism for Kripke models of intuitionistic first-order logic and characterize theories that are preserved under images and also those that are preserved under inverse images of homomorphisms. Moreover, we define a notion of union of chain for Kripke models and define a class of formulas that is preserved in unions of chains. We also define similar classes of formulas and investigate their behavior in Kripke models. An application to intuitionistic first-order arithmetic is also given
Similar books and articles
Syntactic Preservation Theorems for Intuitionistic Predicate Logic.Jonathan Fleischmann - 2010 - Notre Dame Journal of Formal Logic 51 (2):225-245.
Many-Valued and Kripke Semantics.Jean-Yves Béziau - 2006 - In Johan van Benthem, Gerhard Heinzman, M. Rebushi & H. Visser (eds.), The Age of Alternative Logics. Springer. pp. 89--101.
Classical and Intuitionistic Models of Arithmetic.Kai F. Wehmeier - 1996 - Notre Dame Journal of Formal Logic 37 (3):452-461.
Ancestral Kripke Models and Nonhereditary Kripke Models for the Heyting Propositional Calculus.Kosta Došen - 1991 - Notre Dame Journal of Formal Logic 32 (4):580-597.
Action Emulation Between Canonical Models.Floor Sietsma & Jan van Eijck - 2013 - Journal of Philosophical Logic 42 (6):905-925.
Subalgebras and Homomorphisms of Semi-Post Algebras.Nguyen Cat Ho & Helena Rasiowa - 1987 - Studia Logica 46 (2):161 - 175.
On the Modal Definability of Simulability by Finite Transitive Models.David Fernández Duque - 2011 - Studia Logica 98 (3):347-373.
Constructions of Classical Models by Means of Kripke Models (Survey).Bernd I. Dahn - 1979 - Studia Logica 38 (4):401 - 405.
Which Modal Models Are the Right Ones (for Logical Necessity)?John P. Burgess - 2003 - Theoria 18 (2):145-158.
Duality and Canonical Extensions of Bounded Distributive Lattices with Operators, and Applications to the Semantics of Non-Classical Logics II.Viorica Sofronie-Stokkermans - 2000 - Studia Logica 64 (2):151-172.
Added to PP
Historical graph of downloads
Citations of this work
No citations found.
References found in this work
Existence and Feasibility in Arithmetic.Rohit Parikh - 1971 - Journal of Symbolic Logic 36 (3):494-508.
Fragments of $HA$ Based on $\sigma_1$ -Induction.Kai F. Wehmeier - 1997 - Archive for Mathematical Logic 37 (1):37-49.
Intuitionistic Validity in T-Normal Kripke Structures.Samuel R. Buss - 1993 - Annals of Pure and Applied Logic 59 (3):159-173.