Towards an Arithmetical Logic: The Arithmetical Foundations of Logic

被引：0

|

作者：

Seguy-Duclot, Alain ^{[1
]}

机构：

[1] Univ Francois Rabelais Tours, Tours, France

来源：

DIALOGUE-CANADIAN PHILOSOPHICAL REVIEW | 2017年 / 56卷 / 01期

关键词：

D O I：

10.1017/S0012217317000099

中图分类号：

B [哲学、宗教];

学科分类号：

01 ; 0101 ;

摘要：

引用

收藏

页码：187 / 190

页数：4

相关论文

共 50 条

[11] AN ARITHMETICAL HIERARCHY IN PROPOSITIONAL DYNAMIC LOGIC
ISTRAIL, S
[J]. INFORMATION AND COMPUTATION, 1989, 81 (03) : 280 - 289
[12] A non-arithmetical Godel logic
Hajek, Petr
[J]. LOGIC JOURNAL OF THE IGPL, 2005, 13 (04) : 435 - 441
[13] Arithmetical Completeness Theorem for Modal Logic
Kurahashi, Taishi
[J]. STUDIA LOGICA, 2018, 106 (02) : 219 - 235
[14] An arithmetical view to first-order logic
Bagheri, Seyed Mohammad
Poizat, Bruno
Pourmahdian, Massoud
[J]. ANNALS OF PURE AND APPLIED LOGIC, 2010, 161 (06) : 745 - 755
[15] The Interpretability Logic of all Reasonable Arithmetical Theories
Joost J. Joosten
Albert Visser
[J]. Erkenntnis, 2000, 53 : 3 - 26
[16] Foreword to the special issure - "Arithmetical logic in control systems"
Stankovich, R
Yanushkevich, S
[J]. AUTOMATION AND REMOTE CONTROL, 2004, 65 (06) : 841 - 841
[17] Foreword to the Special Issure “Arithmetical Logic in Control Systems”
R. Stankovich
S. Yanushkevich
[J]. Automation and Remote Control, 2004, 65 : 841 - 841
[18] PREDICATE CALCULI AND ARITHMETICAL CALCULI OF SYMMETRICAL CONSTRUCTIVE LOGIC
ZASLAVSK.ID
[J]. DOKLADY AKADEMII NAUK SSSR, 1973, 210 (03): : 517 - 520
[19] EVOLVING AN ARITHMETICAL AID FOR SEQUENTIAL-LOGIC DESIGN
DARWOOD, N
[J]. ELECTRONIC ENGINEERING, 1971, 43 (519): : 60 - &
[20] ARITHMETICAL INTERPRETATIONS AND KRIPKE FRAMES OF PREDICATE MODAL LOGIC OF PROVABILITY
Kurahashi, Taishi
[J]. REVIEW OF SYMBOLIC LOGIC, 2013, 6 (01): : 129 - 146

← 1 2 3 4 5 →