GoDEL ON MANY-VALUED LOGIC

被引：0
|
作者：
Lethen, Tim [1 ]
机构：
[1] Univ Helsinki, Dept Philosophy, FI-00014 Helsinki, Finland
来源：
REVIEW OF SYMBOLIC LOGIC | 2023年 / 16卷 / 03期
关键词：
many-valued logic; Kurt Godel;
D O I：
10.1017/S1755020321000034
中图分类号：
O29 [应用数学];
学科分类号：
070104 ;
摘要：
This paper collects and presents unpublished notes of Kurt Godel concerning the field of many-valued logic. In order to get a picture as complete as possible, both formal and philosophical notes, transcribed from the Gabelsberger shorthand system, are included.
引用
收藏
页码：655 / 671
页数：17
相关论文
共 50 条
  • [1] LOGIC PROGRAMS AND MANY-VALUED LOGIC
    MYCROFT, A
    LECTURE NOTES IN COMPUTER SCIENCE, 1984, 166 : 274 - 286
  • [2] Many-valued hybrid logic
    Hansen, Jens Ulrik
    Bolander, Thomas
    Brauner, Torben
    JOURNAL OF LOGIC AND COMPUTATION, 2018, 28 (05) : 883 - 908
  • [3] What is many-valued logic?
    Beziau, JY
    27TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC - 1997 PROCEEDINGS, 1997, : 117 - 121
  • [4] INTERPRETATION OF MANY-VALUED LOGIC
    URQUHART, A
    ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1973, 19 (02): : 111 - 114
  • [5] The Modalized Many-Valued Logic
    Chen Bo
    Zhao Kang
    Zhang Bing
    Wu Cheng
    Ma Changhui
    Suiyuefei
    2018 14TH INTERNATIONAL CONFERENCE ON SEMANTICS, KNOWLEDGE AND GRIDS (SKG), 2018, : 265 - 268
  • [6] Many-Valued Modal Logic
    Karniel, Amir
    Kaminski, Michael
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2024, (415):
  • [7] Many-Valued Logic '12
    Ferraioli, Anna Rita
    Gerla, Brunella
    Russo, Ciro
    Spada, Luca
    MATHEMATICA SLOVACA, 2015, 65 (04) : 723 - 724
  • [8] A STUDY IN MANY-VALUED LOGIC
    HACKSTAFF, LH
    BOCHENSKI, JM
    STUDIES IN SOVIET THOUGHT, 1962, 2 (01): : 37 - 48
  • [9] 2-VALUED AND MANY-VALUED LOGIC
    ZINOVEV, AA
    SOVIET STUDIES IN PHILOSOPHY, 1963, 2 (1-2): : 69 - 84
  • [10] On implicit extensions in many-valued logic
    Marchenkov, Sergey S.
    DISCRETE MATHEMATICS AND APPLICATIONS, 2024, 34 (05): : 277 - 282
12345