DEMARCATION LINE BETWEEN INTUITIONIST LOGIC AND CLASSICAL LOGIC

被引：3

|

作者：

LEBLANC, H

THOMASON, RH

机构：

来源：

ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK | 1966年 / 12卷 / 04期

关键词：

D O I：

10.1002/malq.19660120121

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：257 / &

相关论文

共 50 条

[1] INTUITIONIST LOGIC - SUBSYSTEM OF, EXTENSION OF, OR RIVAL TO, CLASSICAL-LOGIC
SYLVAN, R
[J]. PHILOSOPHICAL STUDIES, 1988, 53 (01) : 147 - 151
[2] BILATERALIST DETOURS: FROM INTUITIONIST TO CLASSICAL LOGIC AND BACK
Kurbis, Nils
[J]. LOGIQUE ET ANALYSE, 2017, (239) : 301 - 316
[3] Intuitionist and Classical Dimensions of Hegel's Hybrid Logic
Redding, Paul
[J]. HISTORY AND PHILOSOPHY OF LOGIC, 2023, 44 (02) : 209 - 224
[4] ON THE DEMARCATION BETWEEN LOGIC AND MATHEMATICS
WEINGARTNER, P
[J]. MONIST, 1982, 65 (01): : 38 - 51
[5] Sexuations, the feminine, and intuitionist logic
Reuil, Melanie
Rassial, Jean-Jacques
Petit, Laetitia
[J]. EVOLUTION PSYCHIATRIQUE, 2023, 88 (03): : 381 - 394
[6] Intuitionist logic and psychoanalytical clinic
Malengreau, Pierre
[J]. FILOZOFSKI VESTNIK, 2006, 27 (02) : 189 - 209
[7] Definite Descriptions in Intuitionist Positive Free Logic
Kurbis, Nils
[J]. LOGIC AND LOGICAL PHILOSOPHY, 2021, 30 (02) : 327 - 358
[8] ATOMIC REALISM, INTUITIONIST LOGIC AND TARSKIAN TRUTH
EDWARDS, J
[J]. PHILOSOPHICAL QUARTERLY, 1990, 40 (158): : 13 - 26
[9] Bridges between classical and nonmonotonic logic
Makinson, D
[J]. LOGIC JOURNAL OF THE IGPL, 2003, 11 (01) : 69 - 96
[10] Effect of the Choice of Connectives on the Relation between Classical Logic and Intuitionistic Logic
Kawano, Tomoaki
Matsuda, Naosuke
Takagi, Kento
[J]. NOTRE DAME JOURNAL OF FORMAL LOGIC, 2022, 63 (02) : 243 - 259

← 1 2 3 4 5 →