“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 | |||||
