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 条

[1] THE LOGIC OF ARITHMETICAL HIERARCHY
DZHAPARIDZE, G
[J]. ANNALS OF PURE AND APPLIED LOGIC, 1994, 66 (02) : 89 - 112
[2] ARITHMETICAL INTERPRETATIONS OF DYNAMIC LOGIC
HAJEK, P
[J]. JOURNAL OF SYMBOLIC LOGIC, 1983, 48 (03) : 704 - 713
[3] Arithmetical realizability and basic logic
Konovalov, A. Yu.
[J]. MOSCOW UNIVERSITY MATHEMATICS BULLETIN, 2016, 71 (01) : 35 - 38
[4] On arithmetical completeness of the logic of proofs
Iwata, Sohei
Kurahashi, Taishi
[J]. ANNALS OF PURE AND APPLIED LOGIC, 2019, 170 (02) : 163 - 179
[5] Arithmetical Completeness of the Intuitionistic Logic of Proofs
Dashkov, Evgenij
[J]. JOURNAL OF LOGIC AND COMPUTATION, 2011, 21 (04) : 665 - 682
[6] Fuzzy logic and arithmetical hierarchy, II
Hájek P.
[J]. Studia Logica, 1997, 58 (1) : 129 - 141
[7] Fuzzy logic and arithmetical hierarchy III
Hájek P.
[J]. Studia Logica, 2001, 68 (1) : 129 - 142
[8] ARITHMETICAL NECESSITY, PROVABILITY AND INTUITIONISTIC LOGIC
GOLDBLATT, R
[J]. THEORIA, 1978, 44 : 38 - 46
[9] FUZZY-LOGIC AND ARITHMETICAL HIERARCHY
HAJEK, P
[J]. FUZZY SETS AND SYSTEMS, 1995, 73 (03) : 359 - 363
[10] Weak arithmetical interpretations for the Logic of Proofs
Kuznets, Roman
Studer, Thomas
[J]. LOGIC JOURNAL OF THE IGPL, 2016, 24 (03) : 424 - 440

← 1 2 3 4 5 →