INTUITIONIST LOGIC - SUBSYSTEM OF, EXTENSION OF, OR RIVAL TO, CLASSICAL-LOGIC

被引：0

|

作者：

SYLVAN, R

机构：

来源：

PHILOSOPHICAL STUDIES | 1988年 / 53卷 / 01期

关键词：

D O I：

10.1007/BF00355682

中图分类号：

B [哲学、宗教];

学科分类号：

01 ; 0101 ;

摘要：

引用

收藏

页码：147 / 151

页数：5

相关论文

共 50 条

[11] CLASSICAL-LOGIC - A CRASH COURSE FOR BEGINNERS
GALTON, A
[J]. COMPUTER JOURNAL, 1992, 35 (05): : 424 - 430
[12] A STRONG NORMALIZATION RESULT FOR CLASSICAL-LOGIC
BARBANERA, F
BERARDI, S
[J]. ANNALS OF PURE AND APPLIED LOGIC, 1995, 76 (02) : 99 - 116
[13] Classical-logic analogue of a fuzzy ''paradox''
Nguyen, HT
Kreinovich, V
[J]. FUZZ-IEEE '96 - PROCEEDINGS OF THE FIFTH IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS, VOLS 1-3, 1996, : 428 - 431
[14] HANDBOOK OF PHILOSOPHICAL LOGIC, VOL 1, ELEMENTS OF CLASSICAL-LOGIC, VOL 2, EXTENSIONS OF CLASSICAL-LOGIC, VOL 3, ALTERNATIVES TO CLASSICAL-LOGIC, VOL 4, TOPICS IN THE PHILOSOPHY OF LANGUAGE - GABBAY,G, GUENTHNER,F
VERGAUWEN, R
[J]. TIJDSCHRIFT VOOR FILOSOFIE, 1993, 55 (01): : 141 - 150
[15] FREE DEDUCTION - AN ANALYSIS OF COMPUTATIONS IN CLASSICAL-LOGIC
PARIGOT, M
[J]. LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 592 : 361 - 380
[16] HILBERT EPSILON-OPERATOR AND CLASSICAL-LOGIC
BELL, JL
[J]. JOURNAL OF PHILOSOPHICAL LOGIC, 1993, 22 (01) : 1 - 18
[17] SARTRE AND TRANSCENDENTAL CLASSICAL-LOGIC - ESSENCES AND NORMS
PHILONENKO, A
[J]. REVUE DE METAPHYSIQUE ET DE MORALE, 1987, 92 (04): : 503 - 525
[18] CLASSICAL-LOGIC AND ANDERSON AND BELNAPS CRITICISM THEREOF
CHRISTENSEN, NE
[J]. JOURNAL OF SYMBOLIC LOGIC, 1979, 44 (03) : 473 - 473
[19] BILATERALIST DETOURS: FROM INTUITIONIST TO CLASSICAL LOGIC AND BACK
Kurbis, Nils
[J]. LOGIQUE ET ANALYSE, 2017, (239) : 301 - 316
[20] CONCERNING THE COMPLETENESS-THEOREM OF CLASSICAL-LOGIC
FERREIROS, J
[J]. ARBOR-CIENCIA PENSAMIENTO Y CULTURA, 1994, 149 (585) : 77 - 102

← 1 2 3 4 5 →