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 条

[21] Space-efficient decision procedures for three interpolable propositional intermediate logics
Fiorino, Guido
J Logic Comput, 1600, 6 (955-992):
[22] ON INTERMEDIATE PROPOSITIONAL LOGICS
TROELSTR.AS
KONINKLIJKE NEDERLANDSE AKADEMIE VAN WETESCHAPPEN-PROCEEDINGS SERIES A-MATHEMATICAL SCIENCES, 1965, 68 (01): : 141 - &
[23] Relation-Changing Logics as Fragments of Hybrid Logics
Areces, Carlos
Fervari, Raul
Hoffmann, Guillaume
Martel, Mauricio
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2016, (226): : 16 - 29
[24] Hypertableau and path-hypertableau calculi for some families of intermediate logics
Ciabattoni, A
Ferrari, M
AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, 2000, 1847 : 160 - 174
[25] Space-efficient decision procedures for three interpolable propositional intermediate logics
Fiorino, G
JOURNAL OF LOGIC AND COMPUTATION, 2002, 12 (06) : 955 - 992
[26] Topologies for intermediate logics
Caramello, Olivia
MATHEMATICAL LOGIC QUARTERLY, 2014, 60 (4-5) : 335 - 347
[27] On the rules of intermediate logics
Rosalie Iemhoff
Archive for Mathematical Logic, 2006, 45 : 581 - 599
[28] LOGICS AND INTERMEDIATE CATEGORIES
Santamaria Ramirez, Fanny Milena
BOLETIN DE MATEMATICAS, 2008, 15 (01): : 56 - 69
[29] On intermediate justification logics
Pischke, Nicholas
LOGIC JOURNAL OF THE IGPL, 2023, 31 (03) : 534 - 573
[30] On the rules of intermediate logics
Iemhoff, Rosalie
ARCHIVE FOR MATHEMATICAL LOGIC, 2006, 45 (05) : 581 - 599