Decision Problems of some Intermediate Logics and Their Fragments

被引：0

|

作者：

Svejdar, Vitezslav ^{[1
]}

机构：

[1] Charles Univ Prague, Dept Log, Prague 11638 1, Czech Republic

来源：

LOGICA YEARBOOK 2009 | 2010年

关键词：

D O I：

暂无

中图分类号：

B [哲学、宗教];

学科分类号：

01 ; 0101 ;

摘要：

引用

收藏

页码：297 / 307

页数：11

相关论文

共 50 条

[11] MULTIPLE FORMS OF GENTZEN RULES AND SOME INTERMEDIATE LOGICS
SIKIC, Z
JOURNAL OF SYMBOLIC LOGIC, 1984, 49 (02) : 705 - 706
[12] MULTIPLE FORMS OF GENTZEN RULES AND SOME INTERMEDIATE LOGICS
SIKIC, Z
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1984, 30 (04): : 335 - 338
[13] MULTIPLE FORMS OF GENTZEN RULES AND SOME INTERMEDIATE LOGICS
SIKIC, Z
JOURNAL OF SYMBOLIC LOGIC, 1983, 48 (04) : 1227 - 1228
[14] Fuzzy Description Logics for Complex Decision Problems Formulation
Xiao, Yihong
Zhou, Xianzhong
Ling, Haifeng
2012 2ND INTERNATIONAL CONFERENCE ON APPLIED ROBOTICS FOR THE POWER INDUSTRY (CARPI), 2012, : 1139 - 1142
[15] INTERMEDIATE LOGICS
ZAKHARIASHCHEV, MV
DOKLADY AKADEMII NAUK SSSR, 1983, 269 (01): : 18 - 22
[16] Hypersequent calculi for some intermediate logics with bounded Kripke models
Ciabattoni, A
Ferrari, M
JOURNAL OF LOGIC AND COMPUTATION, 2001, 11 (02) : 283 - 294
[17] ON A CERTAIN CUT-FREE AXIOMATIZATION OF SOME INTERMEDIATE LOGICS
RAUSZER, C
JOURNAL OF SYMBOLIC LOGIC, 1984, 49 (02) : 703 - 703
[18] On some kripke complete and kripke incomplete intermediate predicate logics
Skvortsov D.
Studia Logica, 1998, 61 (2) : 281 - 292
[19] On the complexity of disjunction and explicit definability properties in some intermediate logics
Ferrari, M
Fiorentini, C
Fiorino, G
LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, 2002, 2514 : 175 - 189
[20] SOME PROBLEMS NO LONGER OPEN FOR E AND RELATED LOGICS
MEYER, RK
JOURNAL OF SYMBOLIC LOGIC, 1970, 35 (02) : 353 - &

← 1 2 3 4 5 →