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 条

[31] Extended Kripke lemma and decidability for hypersequent substructural logics
Ramanayake, Revantha
PROCEEDINGS OF THE 35TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2020), 2020, : 795 - 806
[32] Decidability and Complexity in Weakening and Contraction Hypersequent Substructural Logics
Balasubramanian, A. R.
Lang, Timo
Ramanayake, Revantha
2021 36TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2021,
[33] CUT ELIMINATION IN HYPERSEQUENT CALCULUS FOR SOME LOGICS OF LINEAR TIME
Indrzejczak, Andrzej
REVIEW OF SYMBOLIC LOGIC, 2019, 12 (04): : 806 - 822
[34] Labelled calculi of resources
Fernandez, Maribel
Siafakas, Nikolaos
JOURNAL OF LOGIC AND COMPUTATION, 2014, 24 (03) : 590 - 613
[35] HYPERSEQUENT CALCULI FOR S5: The methods of cut elimination
Bednarska, Kaja
Indrzejczak, Andrzej
LOGIC AND LOGICAL PHILOSOPHY, 2015, 24 (03) : 277 - 311
[36] Labelled Sequent Calculi for Conditional Logics: Conditional Excluded Middle and Conditional Modus Ponens Finally Together
Olivetti, Nicola
Panic, Nikola
Pozzato, Gian Luca
AIXIA 2022 - ADVANCES IN ARTIFICIAL INTELLIGENCE, 2023, 13796 : 345 - 357
[37] Sequent Calculi for Choice Logics
Bernreiter, Michael
Lolic, Anela
Maly, Jan
Woltran, Stefan
AUTOMATED REASONING, IJCAR 2022, 2022, 13385 : 331 - 349
[38] Natural Deduction Calculi and Sequent Calculi for Counterfactual Logics
Poggiolesi, Francesca
STUDIA LOGICA, 2016, 104 (05) : 1003 - 1036
[39] Natural Deduction Calculi and Sequent Calculi for Counterfactual Logics
Francesca Poggiolesi
Studia Logica, 2016, 104 : 1003 - 1036
[40] Analytic Calculi for Product Logics
George Metcalfe
Nicola Olivetti
Dov Gabbay
Archive for Mathematical Logic, 2004, 43 : 859 - 889

← 1 2 3 4 5 →