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 条
  • [41] Partially Undetermined Many-Valued Events and Their Conditional Probability
    Montagna, Franco
    JOURNAL OF PHILOSOPHICAL LOGIC, 2012, 41 (03) : 563 - 593
  • [42] A Many-valued Semantics for Multi-agent System
    Song, Yang
    Tojo, Satoshi
    ICAART: PROCEEDINGS OF THE 14TH INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE - VOL 3, 2022, : 863 - 870
  • [43] Many-valued R-S memory circuits
    Petrik, Milan
    INTERNATIONAL JOURNAL OF UNCERTAINTY FUZZINESS AND KNOWLEDGE-BASED SYSTEMS, 2008, 16 (04) : 495 - 518
  • [44] Partially Undetermined Many-Valued Events and Their Conditional Probability
    Franco Montagna
    Journal of Philosophical Logic, 2012, 41 : 563 - 593
  • [45] Kripke-style semantics for many-valued logics
    Montagna, F
    Sacchetti, L
    MATHEMATICAL LOGIC QUARTERLY, 2003, 49 (06) : 629 - 641
  • [46] ASYMPTOTIC TRUTH-VALUE LAWS IN MANY-VALUED LOGICS
    Badia, Guillermo
    Caicedo, Xavier
    Noguera, Carles
    JOURNAL OF SYMBOLIC LOGIC, 2025,
  • [47] Tableaus with invertible rules for many-valued modal propositional logics
    Sakalauskaité J.
    Lithuanian Mathematical Journal, 2002, 42 (2) : 191 - 203
  • [48] Sufficient triangular norms in many-valued logics with standard negation
    Butnariu, D
    Klement, EP
    Mesiar, R
    Navara, M
    ARCHIVE FOR MATHEMATICAL LOGIC, 2005, 44 (07) : 829 - 849
  • [49] Sufficient triangular norms in many-valued logics with standard negation
    Dan Butnariu
    Erich Peter Klement
    Radko Mesiar
    Mirko Navara
    Archive for Mathematical Logic, 2005, 44 : 829 - 849
  • [50] MANY-VALUED MULTI-MODAL LOGICS, SATISFIABILITY PROBLEM
    Moor, Michael Alexandrovich
    Rybakov, Vladimir Vladimirovich
    SIBERIAN ELECTRONIC MATHEMATICAL REPORTS-SIBIRSKIE ELEKTRONNYE MATEMATICHESKIE IZVESTIYA, 2018, 15 : 829 - 838
12345