CUT-ELIMINATION THEOREM FOR A PEIRCEAN LOGIC

被引：0

|

作者：

WHITE, RB ^{[1
]}

机构：

[1] CENTRE COLL KENTUCKY,DANVILLE,KY

来源：

TRANSACTIONS OF THE CHARLES S PEIRCE SOCIETY | 1976年 / 12卷 / 03期

关键词：

D O I：

暂无

中图分类号：

B [哲学、宗教];

学科分类号：

01 ; 0101 ;

摘要：

引用

收藏

页码：253 / 262

页数：10

相关论文

共 50 条

[41] ON THE NON-CONFLUENCE OF CUT-ELIMINATION
Baaz, Matthias
Hetzl, Stefan
JOURNAL OF SYMBOLIC LOGIC, 2011, 76 (01) : 313 - 340
[42] Towards a semantic characterization of cut-elimination
Ciabattoni A.
Terui K.
Studia Logica, 2006, 82 (1) : 95 - 119
[43] Syntactic Cut-elimination for Common Knowledge
Bruennler, Kai
Studer, Thomas
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 231 (0C) : 227 - 240
[44] Epsilon substitution for via cut-elimination
Towsner, Henry
ARCHIVE FOR MATHEMATICAL LOGIC, 2018, 57 (5-6) : 497 - 531
[45] A SYNTACTIC PROOF OF CUT-ELIMINATION FOR GLLIN
VALENTINI, S
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1986, 32 (02): : 137 - 144
[46] NORMALIZATION AS A HOMOMORPHIC IMAGE OF CUT-ELIMINATION
POTTINGER, G
JOURNAL OF SYMBOLIC LOGIC, 1977, 42 (01) : 152 - 152
[47] Reducing redundancy in cut-elimination by resolution
Paleo, Bruno Woltzenlogel
JOURNAL OF LOGIC AND COMPUTATION, 2017, 27 (02) : 577 - 606
[48] Cut-elimination and quantification in canonical systems
Zamansky A.
Avron A.
Studia Logica, 2006, 82 (1) : 157 - 176
[49] CUT-ELIMINATION IN LOGICS WITH DEFINITIONAL REFLECTION
SCHROEDERHEISTER, P
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 619 : 146 - 171
[50] Towards a clausal analysis of cut-elimination
Baaz, M
Leitsch, A
JOURNAL OF SYMBOLIC COMPUTATION, 2006, 41 (3-4) : 381 - 410

← 1 2 3 4 5 →