Hypersequent and Labelled Calculi for Intermediate Logics

被引：0

作者：

Ciabattoni, Agata ^{[1
]}

Maffezioli, Paolo ^{[2
]}

Spendier, Lara ^{[1
]}

机构：

[1] Vienna Univ Technol, Vienna, Austria

[2] Univ Groningen, Groningen, Netherlands

来源：

AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS (TABLEAUX 2013) | 2013年 / 8123卷

基金：

奥地利科学基金会;

关键词：

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

Hypersequent and labelled calculi are often viewed as antagonist formalisms to define cut-free calculi for non-classical logics. We focus on the class of intermediate logics to investigate the methods of turning Hilbert axioms into hypersequent rules and frame conditions into labelled rules. We show that these methods are closely related and we extend them to capture larger classes of intermediate logics.

引用

页码：81 / 96

页数：16

共 50 条

[1] Hypersequent calculi for some intermediate logics with bounded Kripke models
Ciabattoni, A
Ferrari, M
JOURNAL OF LOGIC AND COMPUTATION, 2001, 11 (02) : 283 - 294
[2] Hypersequent calculi for Godel logics -: a survey
Baaz, M
Ciabattoni, A
Fermüller, CG
JOURNAL OF LOGIC AND COMPUTATION, 2003, 13 (06) : 835 - 861
[3] Hypersequent Calculi for Lewis' Conditional Logics with Uniformity and Reflexivity
Girlando, Marianna
Lellmann, Bjoern
Olivetti, Nicola
Pozzato, Gian Luca
AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2017, 2017, 10501 : 131 - 148
[4] Intermediate Logics Admitting a Structural Hypersequent Calculus
Lauridsen, Frederik M.
STUDIA LOGICA, 2019, 107 (02) : 247 - 282
[5] Labelled calculi for Lukasiewicz logics
Galmiche, D.
Salhi, Y.
LOGIC, LANGUAGE, INFORMATION AND COMPUTATION, 2008, 5110 : 194 - 207
[6] Intermediate Logics Admitting a Structural Hypersequent Calculus
Frederik M. Lauridsen
Studia Logica, 2019, 107 : 247 - 282
[7] BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS
Ciabattoni, Agata
Lang, Timo
Ramanayake, Revantha
JOURNAL OF SYMBOLIC LOGIC, 2021, 86 (02) : 635 - 668
[8] Cyclic Hypersequent Calculi for Some Modal Logics with the Master Modality
Rooduijn, Jan
AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2021, 2021, 12842 : 354 - 370
[9] Hypersequent Calculi for Modal Logics Extending S4
Kurokawa, Hidenori
NEW FRONTIERS IN ARTIFICIAL INTELLIGENCE (JSAI-ISAI 2013), 2014, 8417 : 51 - 68
[10] Eliminability of cut in hypersequent calculi for some modal logics of linear frames
Indrzejczak, Andrzej
INFORMATION PROCESSING LETTERS, 2015, 115 (02) : 75 - 81

← 1 2 3 4 5 →