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