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 条
12345