“School of Mathematics”
Back to Papers HomeBack to Papers of School of Mathematics
| Paper IPM / M / 2322 | ||||||||||||||||||||||||
|
||||||||||||||||||||||||
| Abstract: | ||||||||||||||||||||||||
|
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 K\preceqK′ are studied.
Download TeX format |
||||||||||||||||||||||||
| back to top | ||||||||||||||||||||||||
