What is many-valued logic?

被引：9
|
作者：
Beziau, JY
机构：
来源：
27TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC - 1997 PROCEEDINGS | 1997年
关键词：
D O I：
10.1109/ISMVL.1997.601384
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
Firstly we examine the definition of many-valued logic within the framework of (logical) matrix theory. Secondly we discuss the general result, challenging the existence of many-valued logic, according to which every logic may be seen as two-valued. Thirdly we analyze the principle of bivalence and shaw that it appears at a deeper level than one usually thinks.
引用
收藏
页码：117 / 121
页数：5
相关论文
共 50 条
  • [1] LOGIC PROGRAMS AND MANY-VALUED LOGIC
    MYCROFT, A
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1984, 166 : 274 - 286
  • [2] Many-valued hybrid logic
    Hansen, Jens Ulrik
    Bolander, Thomas
    Brauner, Torben
    [J]. JOURNAL OF LOGIC AND COMPUTATION, 2018, 28 (05) : 883 - 908
  • [3] INTERPRETATION OF MANY-VALUED LOGIC
    URQUHART, A
    [J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1973, 19 (02): : 111 - 114
  • [4] GoDEL ON MANY-VALUED LOGIC
    Lethen, Tim
    [J]. REVIEW OF SYMBOLIC LOGIC, 2023, 16 (03): : 655 - 671
  • [5] Many-Valued Logic '12
    Ferraioli, Anna Rita
    Gerla, Brunella
    Russo, Ciro
    Spada, Luca
    [J]. MATHEMATICA SLOVACA, 2015, 65 (04) : 723 - 724
  • [6] A STUDY IN MANY-VALUED LOGIC
    HACKSTAFF, LH
    BOCHENSKI, JM
    [J]. STUDIES IN SOVIET THOUGHT, 1962, 2 (01): : 37 - 48
  • [7] The Modalized Many-Valued Logic
    Chen Bo
    Zhao Kang
    Zhang Bing
    Wu Cheng
    Ma Changhui
    Suiyuefei
    [J]. 2018 14TH INTERNATIONAL CONFERENCE ON SEMANTICS, KNOWLEDGE AND GRIDS (SKG), 2018, : 265 - 268
  • [8] 2-VALUED AND MANY-VALUED LOGIC
    ZINOVEV, AA
    [J]. SOVIET STUDIES IN PHILOSOPHY, 1963, 2 (1-2): : 69 - 84
  • [9] AN INTERPOLATION THEOREM IN MANY-VALUED LOGIC
    HANAZAWA, M
    TAKANO, M
    [J]. JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (02) : 448 - 452
  • [10] On implicit extensions in many-valued logic
    Marchenkov, Sergey S.
    [J]. DISCRETE MATHEMATICS AND APPLICATIONS, 2024, 34 (05): : 277 - 282
12345