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 条

[41] APPLICATIONS OF TREES TO INTERMEDIATE LOGICS
GABBAY, DM
JOURNAL OF SYMBOLIC LOGIC, 1972, 37 (01) : 135 - &
[42] Archetypal Rules and Intermediate Logics
Polacik, Tomasz
LOGICA YEARBOOK 2011, 2012, : 227 - 237
[43] EPSILON THEOREMS IN INTERMEDIATE LOGICS
Baaz, Matthias
Zach, Richard
JOURNAL OF SYMBOLIC LOGIC, 2022, 87 (02) : 682 - 720
[44] INTUITIONISTIC ANALYSIS AND INTERMEDIATE LOGICS
GARGOV, GK
DOKLADY AKADEMII NAUK SSSR, 1975, 224 (06): : 1245 - 1247
[45] Proof analysis in intermediate logics
Dyckhoff, Roy
Negri, Sara
ARCHIVE FOR MATHEMATICAL LOGIC, 2012, 51 (1-2): : 71 - 92
[46] SOME DECISION PROBLEMS OF FORMAL LANGUAGES
KASAMI, T
TANIGUCH.K
ELECTRONICS & COMMUNICATIONS IN JAPAN, 1968, 51 (05): : 151 - &
[47] SOME DECISION PROBLEMS IN PETROLEUM EXPLORATION
EVERETT, JE
INTERFACES, 1978, 9 (01) : 25 - 33
[48] Some decision problems on integer matrices
Choffrut, C
Karhumäki, J
RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS, 2005, 39 (01): : 125 - 131
[49] SOME NONPARAMETRIC BAYESIAN DECISION PROBLEMS
LALSAXEN.KM
ANNALS OF MATHEMATICAL STATISTICS, 1966, 37 (02): : 545 - &
[50] ON SOME DECISION-PROBLEMS IN PROGRAMMING
SPREEN, D
INFORMATION AND COMPUTATION, 1995, 122 (01) : 120 - 139