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 条
  • [21] A MANY-VALUED LOGIC FOR APPROXIMATE REASONING
    DIZENZO, S
    IBM JOURNAL OF RESEARCH AND DEVELOPMENT, 1988, 32 (04) : 552 - 565
  • [22] Proposition relativity and logic calculation in many-valued logic
    Liu, Honglan
    Gao, Qingshi
    Yang, Bingru
    Beijing Keji Daxue Xuebao/Journal of University of Science and Technology Beijing, 2007, 29 (SUPPL. 2): : 172 - 177
  • [23] Many-valued logic in an intelligent tutoring system
    Encheva, Sylvia
    Tumin, Sharil
    PROCEEDINGS OF THE 11TH WSEAS INTERNATIONAL CONFERENCE ON APPLIED MATHEMATICS (MATH '07), 2007, : 210 - +
  • [24] MANY-VALUED LOGIC - GERMAN - SINOWJEW,AA
    KUCHLING, H
    DEUTSCHE ZEITSCHRIFT FUR PHILOSOPHIE, 1970, 18 (08): : 1001 - 1003
  • [25] MONOTONIC FUNCTIONS OF MANY-VALUED LOGIC AND SUPERMATROIDS
    KOVALEV, MM
    MILANOV, P
    USSR COMPUTATIONAL MATHEMATICS AND MATHEMATICAL PHYSICS, 1984, 24 (03): : 106 - 108
  • [26] On Scott's semantics for many-valued logic
    Niki, Satoru
    Schuster, Peter
    JOURNAL OF LOGIC AND COMPUTATION, 2020, 30 (06) : 1291 - 1302
  • [27] FE classification of functions of many-valued logic
    Marchenkov S.S.
    Moscow University Computational Mathematics and Cybernetics, 2011, 35 (2) : 89 - 96
  • [28] Many-valued interpretation of the logic of quantum mechanics
    Pykacz, J
    NEW DEVELOPMENTS ON FUNDAMENTAL PROBLEMS IN QUANTUM PHYSICS, 1997, 81 : 325 - 328
  • [29] A Resolution Method for Linguistic Many-valued Logic
    Le Anh Phuong
    Tran Dinh Khang
    APPLIED MATHEMATICS & INFORMATION SCIENCES, 2013, 7 (03): : 1193 - 1200
  • [30] Knowledge assessment based on many-valued logic
    Encheva, Sylvia
    Tumin, Sharil
    KNOWLEDGE-BASED INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS: KES 2007 - WIRN 2007, PT II, PROCEEDINGS, 2007, 4693 : 885 - 892
12345