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 条

[21] A SYNTACTIC PROOF OF CUT-ELIMINATION FOR GLLIN
VALENTINI, S
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1986, 32 (02): : 137 - 144
[22] Epsilon substitution for via cut-elimination
Towsner, Henry
ARCHIVE FOR MATHEMATICAL LOGIC, 2018, 57 (5-6) : 497 - 531
[23] Towards a clausal analysis of cut-elimination
Baaz, M
Leitsch, A
JOURNAL OF SYMBOLIC COMPUTATION, 2006, 41 (3-4) : 381 - 410
[24] Reducing redundancy in cut-elimination by resolution
Paleo, Bruno Woltzenlogel
JOURNAL OF LOGIC AND COMPUTATION, 2017, 27 (02) : 577 - 606
[25] CUT-ELIMINATION IN LOGICS WITH DEFINITIONAL REFLECTION
SCHROEDERHEISTER, P
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 619 : 146 - 171
[26] Cut-elimination and quantification in canonical systems
Zamansky A.
Avron A.
Studia Logica, 2006, 82 (1) : 157 - 176
[27] On the computational complexity of cut-elimination in linear logic
Mairson, HG
Terui, K
THEORETICAL COMPUTER SCIENCE, PROCEEDINGS, 2003, 2841 : 23 - 36
[28] Quick cut-elimination for strictly positive cuts
Arai, Toshiyasu
ANNALS OF PURE AND APPLIED LOGIC, 2011, 162 (10) : 807 - 815
[29] The Cut-Elimination Theorem for Differential Nets with Promotion
Pagani, Michele
TYPED LAMBDA CALCULI AND APPLICATIONS, PROCEEDINGS, 2009, 5608 : 219 - 233
[30] On Cut-Elimination Arguments for Axiomatic Theories of Truth
Hayashi, Daichi
STUDIA LOGICA, 2022, 110 (03) : 785 - 818

← 1 2 3 4 5 →