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 条

[31] On Cut-Elimination Arguments for Axiomatic Theories of Truth
Hayashi, Daichi
STUDIA LOGICA, 2022, 110 (03) : 785 - 818
[32] A cut-elimination proof in intuitionistic predicate logic
Borisavljevic, M
ANNALS OF PURE AND APPLIED LOGIC, 1999, 99 (1-3) : 105 - 136
[33] An intensional type theory: Motivation and cut-elimination
Gilmore, PC
JOURNAL OF SYMBOLIC LOGIC, 2001, 66 (01) : 383 - 400
[34] Strong normalisation of cut-elimination in classical logic
Urban, C
Bierman, GM
TYPED LAMBDA CALCULI AND APPLICATIONS, 1999, 1581 : 365 - 380
[35] A note on cut-elimination for classical propositional logic
Pulcini, Gabriele
ARCHIVE FOR MATHEMATICAL LOGIC, 2022, 61 (3-4) : 555 - 565
[36] Strong normalisation of cut-elimination that simulates β-reduction
Kikuchi, Kentaro
Lengrand, Stephane
FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, PROCEEDINGS, 2008, 4962 : 380 - +
[37] CUT-ELIMINATION THEOREM FOR THE LOGIC OF CONSTANT DOMAINS
KASHIMA, R
SHIMURA, T
MATHEMATICAL LOGIC QUARTERLY, 1994, 40 (02) : 153 - 172
[38] Strong normalisation of cut-elimination in classical logic
Urban, C
Bierman, GM
FUNDAMENTA INFORMATICAE, 2001, 45 (1-2) : 123 - 155
[39] COMPLETENESS AND CUT-ELIMINATION IN INTUITIONISTIC TYPE LOGIC
OSSWALD, H
MANUSCRIPTA MATHEMATICA, 1972, 6 (01) : 17 - &
[40] Reducing redundancy in cut-elimination by resolution Preface
Baaz, Matthias
Ciabattoni, Agata
Gabbay, Dov M.
Hetzl, Stefan
Weller, Daniel
JOURNAL OF LOGIC AND COMPUTATION, 2017, 27 (02)

← 1 2 3 4 5 →