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 条

[1] CUT-ELIMINATION THEOREM FOR THE LOGIC OF CONSTANT DOMAINS
KASHIMA, R
SHIMURA, T
MATHEMATICAL LOGIC QUARTERLY, 1994, 40 (02) : 153 - 172
[2] AN ALGEBRAIC FORMULATION OF CUT-ELIMINATION THEOREM
TITANI, S
JOURNAL OF THE MATHEMATICAL SOCIETY OF JAPAN, 1965, 17 (01) : 72 - +
[3] THE MODAL LOGIC OF PROVABILITY, CUT-ELIMINATION
VALENTINI, S
JOURNAL OF PHILOSOPHICAL LOGIC, 1983, 12 (04) : 471 - 476
[4] Cut-Elimination for Quantified Conditional Logic
Christoph Benzmüller
Journal of Philosophical Logic, 2017, 46 : 333 - 353
[5] Cut-Elimination for Quantified Conditional Logic
Benzmuller, Christoph
JOURNAL OF PHILOSOPHICAL LOGIC, 2017, 46 (03) : 333 - 353
[6] Cut-elimination for a logic with definitions and induction
McDowell, R
Miller, D
THEORETICAL COMPUTER SCIENCE, 2000, 232 (1-2) : 91 - 119
[7] From basic logic to quantum logic with cut-elimination
Faggian, C
Sambin, G
INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 1998, 37 (01) : 31 - 37
[8] The Cut-Elimination Theorem for Differential Nets with Promotion
Pagani, Michele
TYPED LAMBDA CALCULI AND APPLICATIONS, PROCEEDINGS, 2009, 5608 : 219 - 233
[9] On the computational complexity of cut-elimination in linear logic
Mairson, HG
Terui, K
THEORETICAL COMPUTER SCIENCE, PROCEEDINGS, 2003, 2841 : 23 - 36
[10] A note on cut-elimination for classical propositional logic
Pulcini, Gabriele
ARCHIVE FOR MATHEMATICAL LOGIC, 2022, 61 (3-4) : 555 - 565

← 1 2 3 4 5 →