Mathematical Logic Quarterly 49 (5):479-484 (2003)

We study the relations of being substructure and elementary substructure between Kripke models of intuitionistic predicate logic with the same arbitrary frame. We prove analogues of Tarski's test and Löwenheim-Skolem's theorems as determined by our definitions. The relations between corresponding worlds of two Kripke models [MATHEMATICAL SCRIPT CAPITAL K] ⪯ [MATHEMATICAL SCRIPT CAPITAL K]′ are studied
Keywords Kripke model  intuitionistic logic  substructure  elementary substructure
Categories (categorize this paper)
DOI 10.1002/malq.200310052
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 63,393
Through your library

References found in this work BETA

Add more references

Citations of this work BETA

Syntactic Preservation Theorems for Intuitionistic Predicate Logic.Jonathan Fleischmann - 2010 - Notre Dame Journal of Formal Logic 51 (2):225-245.
Preservation Theorems for Kripke Models.Morteza Moniri & Mostafa Zaare - 2009 - Mathematical Logic Quarterly 55 (2):177-184.
Back and Forth Between First-Order Kripke Models.Tomasz Połacik - 2008 - Logic Journal of the IGPL 16 (4):335-355.
Some Preservation Theorems in an Intermediate Logic.Seyed M. Bagheri - 2006 - Mathematical Logic Quarterly 52 (2):125-133.
Homomorphisms and Chains of Kripke Models.Morteza Moniri & Mostafa Zaare - 2011 - Archive for Mathematical Logic 50 (3-4):431-443.

View all 6 citations / Add more citations

Similar books and articles


Added to PP index

Total views
42 ( #255,110 of 2,448,967 )

Recent downloads (6 months)
1 ( #443,144 of 2,448,967 )

How can I increase my downloads?


My notes