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 条

[21] Indexed systems of sequents and cut-elimination + Modal logic
Mints, G
JOURNAL OF PHILOSOPHICAL LOGIC, 1997, 26 (06) : 671 - 696
[22] From Basic Logic to Quantum Logics with Cut-Elimination
Claudia Faggian
Giovanni Sambin
International Journal of Theoretical Physics, 1998, 37 : 31 - 37
[23] A Cut-Elimination Proof in Positive Relevant Logic with Necessity
Ilic, Mirjana
STUDIA LOGICA, 2021, 109 (03) : 607 - 638
[24] Cut-elimination and deductive polarization in complementary classical logic
Carnielli, Walter A.
Pulcini, Gabriele
LOGIC JOURNAL OF THE IGPL, 2017, 25 (03) : 273 - 282
[25] A PROOF OF CUT-ELIMINATION THEOREM IN SIMPLE TYPE-THEORY
TAKAHASH.MO
JOURNAL OF THE MATHEMATICAL SOCIETY OF JAPAN, 1967, 19 (04) : 399 - +
[26] STRATIFICATION AND CUT-ELIMINATION
CRABBE, M
JOURNAL OF SYMBOLIC LOGIC, 1991, 56 (01) : 213 - 226
[27] Methods of Cut-Elimination
Buss, Sam
STUDIA LOGICA, 2015, 103 (03) : 663 - 667
[28] Cut-elimination in a sequents-of-relations calculus for Godel logic
Baaz, M
Ciabattoni, A
Fermüller, CG
31ST INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, PROCEEDINGS, 2001, : 181 - 186
[29] Call-by-name reduction and cut-elimination in classical logic
Kikuchi, Kentaro
ANNALS OF PURE AND APPLIED LOGIC, 2008, 153 (1-3) : 38 - 65
[30] Cut-elimination for ω1
Arai, Toshiyasu
ANNALS OF PURE AND APPLIED LOGIC, 2018, 169 (12) : 1246 - 1269

← 1 2 3 4 5 →