Fast cut-elimination by projection

被引：0

|

作者：

Baaz, M ^{[1
]}

Leitsch, A ^{[1
]}

机构：

[1] Vienna Tech Univ, A-1040 Vienna, Austria

来源：

COMPUTER SCIENCE LOGIC | 1997年 / 1258卷

关键词：

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

收藏

页码：18 / 33

页数：16

相关论文

共 50 条

[11] Cut-Elimination for Quantified Conditional Logic
Benzmuller, Christoph
JOURNAL OF PHILOSOPHICAL LOGIC, 2017, 46 (03) : 333 - 353
[12] Syntactic cut-elimination for common knowledge
Bruennler, Kai
Studer, Thomas
ANNALS OF PURE AND APPLIED LOGIC, 2009, 160 (01) : 82 - 95
[13] Cut-elimination for a logic with definitions and induction
McDowell, R
Miller, D
THEORETICAL COMPUTER SCIENCE, 2000, 232 (1-2) : 91 - 119
[14] AN ALGEBRAIC FORMULATION OF CUT-ELIMINATION THEOREM
TITANI, S
JOURNAL OF THE MATHEMATICAL SOCIETY OF JAPAN, 1965, 17 (01) : 72 - +
[15] Indexed systems of sequents and cut-elimination
Grigori Mints
Journal of Philosophical Logic, 1997, 26 : 671 - 696
[16] ON THE NON-CONFLUENCE OF CUT-ELIMINATION
Baaz, Matthias
Hetzl, Stefan
JOURNAL OF SYMBOLIC LOGIC, 2011, 76 (01) : 313 - 340
[17] CUT-ELIMINATION THEOREM FOR A PEIRCEAN LOGIC
WHITE, RB
TRANSACTIONS OF THE CHARLES S PEIRCE SOCIETY, 1976, 12 (03): : 253 - 262
[18] Towards a semantic characterization of cut-elimination
Ciabattoni A.
Terui K.
Studia Logica, 2006, 82 (1) : 95 - 119
[19] Syntactic Cut-elimination for Common Knowledge
Bruennler, Kai
Studer, Thomas
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 231 (0C) : 227 - 240
[20] Epsilon substitution for via cut-elimination
Towsner, Henry
ARCHIVE FOR MATHEMATICAL LOGIC, 2018, 57 (5-6) : 497 - 531

← 1 2 3 4 5 →