Some results on Kripke models over an arbitrary fixed frame

被引：8

作者：

Bagheri, SM

Moniri, M

机构：

[1] Sch Math, Inst Studies Theoret Phys & Math, IPM, Tehran, Iran

[2] Tarbiat Modares Univ, Dept Math, Tehran, Iran

[3] Shahid Beheshti Univ, Dept Math, Tehran, Iran

来源：

MATHEMATICAL LOGIC QUARTERLY | 2003年 / 49卷 / 05期

关键词：

Kripke model; substructure; elementary substructure; intuitionistic logic;

D O I：

10.1002/malq.200310052

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

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 Lowenheim-Skolem's theorems as determined by our definitions. The relations between corresponding worlds of two Kripke models K less than or similar to K' are studied.

引用

页码：479 / 484

页数：6

共 10 条

[1] [Anonymous], 1997, LOGIC STRUCTURE
[2] ARDESHIR M, 1998, NOTRE DAME J FORM L, V39, P212
[3] INTUITIONISTIC VALIDITY IN T-NORMAL KRIPKE STRUCTURES
BUSS, SR
[J]. ANNALS OF PURE AND APPLIED LOGIC, 1993, 59 (03) : 159 - 173
[4] Chang C. C., 1990, MODEL THEORY, V73
[5] MODEL THEORY FOR INTUITIONISTIC LOGIC
GABBAY, DM
[J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1972, 18 (01): : 49 - &
[6] Hodges W., 1997, A Shorter Model Theory
[7] Independence results for weak systems of intuitionistic arithmetic
Moniri, M
[J]. MATHEMATICAL LOGIC QUARTERLY, 2003, 49 (03) : 250 - 254
[8] TROELSTRA A.S., 1988, STUDIES LOGIC FDN MA, V121
[9] Submodels of Kripke models
Visser, A
[J]. ARCHIVE FOR MATHEMATICAL LOGIC, 2001, 40 (04) : 277 - 295
[10] Wehmeier K.F., 1996, NOTRE DAME J FORM L, V37, P452

← 1 →