Omitting Types in an Intermediate Logic

被引：0

|

作者：

Bagheri, Seyed-Mohammad ^{[1
]}

Pourmahdian, Massoud ^{[2
,3
]}

机构：

[1] Tarbiat Modares Univ, Dept Pure Math, Fac Math Sci, Tehran, Iran

[2] Amirkabir Univ Technol, Sch Math, Tehran, Iran

[3] Inst Res Fundamental Sci IPM, Tehran, Iran

来源：

STUDIA LOGICA | 2011年 / 97卷 / 03期

关键词：

intuitionistic logic; Kripke model; semi-isolated; omitting types;

D O I：

10.1007/s11225-011-9310-x

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

We prove an omitting types theorem and one direction of the related Ryll-Nardzewski theorem for semi-classical theories introduced in [2].

引用

收藏

页码：319 / 328

页数：10

相关论文

共 50 条

[1] Omitting Types in an Intermediate Logic
Seyed-Mohammad Bagheri
Massoud Pourmahdian
Studia Logica, 2011, 97 : 319 - 328
[2] OMITTING TYPES IN MODAL LOGIC
BOWEN, KA
JOURNAL OF SYMBOLIC LOGIC, 1975, 40 (02) : 299 - 300
[3] A Note on Omitting Types in Propositional Logic
Kolman, O.
ARMENIAN JOURNAL OF MATHEMATICS, 2015, 7 (01): : 1 - U125
[4] Omitting types in logic of metric structures
Farah, Ilijas
Magidor, Menachem
JOURNAL OF MATHEMATICAL LOGIC, 2018, 18 (02)
[5] Omitting types in fuzzy logic with evaluated syntax
Murinova, Petra
Novak, Vilem
MATHEMATICAL LOGIC QUARTERLY, 2006, 52 (03) : 259 - 268
[6] OMITTING UNCOUNTABLE TYPES AND EXTENSIONS OF ELEMENTARY LOGIC
LINDSTROM, P
THEORIA, 1978, 44 : 152 - 156
[7] A General Omitting Types Theorem in Mathematical Fuzzy Logic
Badia, Guillermo
Noguera, Carles
IEEE TRANSACTIONS ON FUZZY SYSTEMS, 2021, 29 (06) : 1386 - 1394
[8] Omitting types for infinitary [0,1]-valued logic
Eagle, Christopher J.
ANNALS OF PURE AND APPLIED LOGIC, 2014, 165 (03) : 913 - 932
[9] An omitting types theorem for first order logic with infinitary relation symbols
Ahmed, Tarek Sayed
Samir, Basim
MATHEMATICAL LOGIC QUARTERLY, 2007, 53 (06) : 564 - 570
[10] Martin's axiom, omitting types, and complete representations in algebraic logic
Ahmed T.S.
Studia Logica, 2002, 72 (2) : 285 - 309

← 1 2 3 4 5 →