Towards a semantic characterization of cut-elimination

被引：27

作者：

Ciabattoni A. ^{[1
]}

Terui K. ^{[2
]}

机构：

[1] Institute für Computersprachen, TU Wien, 1040 Wien

[2] National Institute of Informatics, Chiyoda-ku 101-8430 Tokyo

来源：

Studia Logica | 2006年 / 82卷 / 1期

基金：

奥地利科学基金会;

关键词：

Cut-elimination; Nonclassical logicss; Phase semantics; Sequent calculus; Substructural logics;

D O I：

10.1007/s11225-006-6607-2

中图分类号：

学科分类号：

摘要：

We introduce necessary and sufficient conditions for a (single-conclusion) sequent calculus to admit (reductive) cut-elimination. Our conditions are formulated both syntactically and semantically. © Springer 2006.

引用

页码：95 / 119

页数：24

共 50 条

[1] Towards a clausal analysis of cut-elimination
Baaz, M
Leitsch, A
JOURNAL OF SYMBOLIC COMPUTATION, 2006, 41 (3-4) : 381 - 410
[2] Towards an algorithmic construction of cut-elimination procedures
Ciabattoni, Agata
Leitsch, Alexander
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2008, 18 (01) : 81 - 105
[3] STRATIFICATION AND CUT-ELIMINATION
CRABBE, M
JOURNAL OF SYMBOLIC LOGIC, 1991, 56 (01) : 213 - 226
[4] Methods of Cut-Elimination
Buss, Sam
STUDIA LOGICA, 2015, 103 (03) : 663 - 667
[5] Cut-elimination for ω1
Arai, Toshiyasu
ANNALS OF PURE AND APPLIED LOGIC, 2018, 169 (12) : 1246 - 1269
[6] Cut-Elimination: Syntax and Semantics
Baaz, M.
Leitsch, A.
STUDIA LOGICA, 2014, 102 (06) : 1217 - 1244
[7] Fast cut-elimination by projection
Baaz, M
Leitsch, A
COMPUTER SCIENCE LOGIC, 1997, 1258 : 18 - 33
[8] Cut-elimination: Experiments with CERES
Baaz, M
Hetzl, S
Leitsch, A
Richter, C
Spohr, H
LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS, 2005, 3452 : 481 - 495
[9] Cut-Elimination: Syntax and Semantics
M. Baaz
A. Leitsch
Studia Logica, 2014, 102 : 1217 - 1244
[10] Cut-elimination and redundancy-elimination by resolution
Baaz, M
Leitsch, A
JOURNAL OF SYMBOLIC COMPUTATION, 2000, 29 (02) : 149 - 176

← 1 2 3 4 5 →