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 条

[21] Algebraic logic for the negation fragment of classical logic
Gonzalez, Luciano J.
[J]. LOGIC JOURNAL OF THE IGPL, 2024, 32 (03) : 517 - 533
[22] A modular reduction of regular logic to classical logic
Béjar, R
Hähnle, R
Manyà, F
[J]. 31ST INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, PROCEEDINGS, 2001, : 221 - 226
[23] DIALECTICAL LOGIC, CLASSICAL LOGIC, AND CONSISTENCY OF WORLD
ROUTLEY, R
MEYER, RK
[J]. STUDIES IN SOVIET THOUGHT, 1976, 16 (1-2): : 1 - 25
[24] Supervaluationism, Modal Logic, and Weakly Classical Logic
Joshua Schechter
[J]. Journal of Philosophical Logic, 2024, 53 : 411 - 461
[25] ON RECONSTRUCTABILITY OF CLASSICAL PROPOSITIONAL LOGIC IN INTUITIONISTIC LOGIC
WOJCICKI, R
[J]. BULLETIN DE L ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES MATHEMATIQUES ASTRONOMIQUES ET PHYSIQUES, 1970, 18 (08): : 421 - &
[26] Supervaluationism, Modal Logic, and Weakly Classical Logic
Schechter, Joshua
[J]. JOURNAL OF PHILOSOPHICAL LOGIC, 2024, 53 (02) : 411 - 461
[27] Interpretations of intuitionist logic in non-normal modal logics
Oakes, C
[J]. JOURNAL OF PHILOSOPHICAL LOGIC, 1999, 28 (01) : 47 - 60
[28] Constructive program synthesis using intuitionist logic and natural deduction
Silva, GMH
Haeusler, EH
Veloso, PAS
[J]. ADVANCES IN LOGIC, ARTIFICIAL INTELLIGENCE AND ROBOTICS, 2002, 85 : 224 - 233
[29] From Classical Logic to Fuzzy Logic and Quantum Logic: A General View
Nadaban, S.
[J]. INTERNATIONAL JOURNAL OF COMPUTERS COMMUNICATIONS & CONTROL, 2021, 16 (01) : 1 - 14
[30] Paraconsistency in classical logic
Pulcini, Gabriele
Varzi, Achille C.
[J]. SYNTHESE, 2018, 195 (12) : 5485 - 5496

← 1 2 3 4 5 →