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 条
  • [31] SOME PROPERTIES OF MONOTONICITY ON MANY-VALUED LOGIC AND THEIR APPLICATIONS TO THE ANALYSIS OF MANY-VALUED THRESHOLD FUNCTIONS.
    Nomura, Hirosato
    [J]. 1600, (03):
  • [32] Contextual attribute logic of many-valued attributes
    Ganter, B
    [J]. FORMAL CONCEPT ANALYSIS: FORMAL CONCEPT ANALYSIS, 2005, 3626 : 101 - 113
  • [33] Many-valued logic: beyond algebraic semantics
    Stefano Aguzzoli
    Brunella Gerla
    Vincenzo Marra
    [J]. Soft Computing, 2012, 16 : 1815 - 1816
  • [34] PARACONSISTENT STRUCTURE INSIDE OF MANY-VALUED LOGIC
    KARPENKO, AS
    [J]. SYNTHESE, 1986, 66 (01) : 63 - 69
  • [35] Equilibrium Semantics for IF Logic and Many-Valued Connectives
    Fermueller, Christian G.
    Majer, Ondrej
    [J]. LOGIC, LANGUAGE, AND COMPUTATION (TBILLC 2015), 2017, 10148 : 290 - 312
  • [36] Many-valued logic: beyond algebraic semantics
    Aguzzoli, Stefano
    Gerla, Brunella
    Marra, Vincenzo
    [J]. SOFT COMPUTING, 2012, 16 (11) : 1815 - 1816
  • [37] ON GENTZEN AXIOMATIZATION OF THE REDUCTS OF MANY-VALUED LOGIC
    BOROWIK, P
    [J]. JOURNAL OF SYMBOLIC LOGIC, 1983, 48 (04) : 1224 - 1225
  • [38] Characterizing logical consequence in many-valued logic
    Chemla, Emmanuel
    Egre, Paul
    Spector, Benjamin
    [J]. JOURNAL OF LOGIC AND COMPUTATION, 2017, 27 (07) : 2193 - 2226
  • [39] Classical Logic withnTruth Values as a Symmetric Many-Valued Logic
    Salibra, A.
    Bucciarelli, A.
    Ledda, A.
    Paoli, F.
    [J]. FOUNDATIONS OF SCIENCE, 2023, 28 (01) : 115 - 142
  • [40] From many-valued consequence to many-valued connectives
    Emmanuel Chemla
    Paul Egré
    [J]. Synthese, 2021, 198 : 5315 - 5352
12345