The Lattice of All Clones of Self-Dual Functions in Three-Valued Logic

被引：0
|
作者：
Zhuk, Dmitriy [1 ]
机构：
[1] Moscow MV Lomonosov State Univ, Dept Math & Mech, Moscow, Russia
来源：
JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING | 2015年 / 24卷 / 1-4期
关键词：
Lattice; done; self-dual function; relational clone; essential predicate; essential relation; three-valued; maximal clone;
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
The lattice of all clones of self-dual functions in three-valued logic is described. Even though this lattice contains a continuum of clones, a simple description was found. Using this description various properties of the lattice and of the clones were derived. Pairwise inclusion of the clones into each other was described, and bases for all clones were found. Also, for each clone the relation degree, the cardinalities of the corresponding principal filter and principal ideal were determined.
引用
收藏
页码：251 / 316
页数：66
相关论文
共 50 条
  • [41] A Three-Valued Semantics for Typed Logic Programming
    Barbosa, Joao
    Florido, Mario
    Costa, Vitor Santos
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2019, (306): : 36 - 51
  • [42] Erotetic Search Scenarios and Three-Valued Logic
    Dorota Leszczyńska-Jasion
    Paweł Łupkowski
    Journal of Logic, Language and Information, 2016, 25 : 51 - 76
  • [43] Algebraization of the three-valued BCK-logic
    Olmedo, FMG
    Salas, AJR
    MATHEMATICAL LOGIC QUARTERLY, 2002, 48 (02) : 163 - 178
  • [44] A three-valued temporal logic for future contingents
    Akama, Seiki
    Nagata, Yasunori
    Yamada, Chikatoshi
    LOGIQUE ET ANALYSE, 2007, (198) : 99 - 111
  • [45] Three-valued logic, indeterminacy and quantum mechanics
    Bigal, T
    JOURNAL OF PHILOSOPHICAL LOGIC, 2001, 30 (02) : 97 - 119
  • [46] CLOSED CLASSES OF THREE-VALUED LOGIC FUNCTIONS GENERATED BY SYMMETRIC FUNCTIONS WITH A BOUNDED NUMBER OF LAYERS
    Mikhailovich, A. V.
    PRIKLADNAYA DISKRETNAYA MATEMATIKA, 2015, 27 (01): : 17 - 26
  • [47] Translation from Three-Valued Quantum Logic to Modal Logic
    Takagi, Tsubasa
    INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 2021, 60 (01) : 366 - 377
  • [48] Translation from Three-Valued Quantum Logic to Modal Logic
    Tsubasa Takagi
    International Journal of Theoretical Physics, 2021, 60 : 366 - 377
  • [49] Rough Set Logic for Kleene's Three-valued Logic
    Nakayama, Yotaro
    Akama, Seiki
    Murai, Tetsuya
    2020 JOINT 11TH INTERNATIONAL CONFERENCE ON SOFT COMPUTING AND INTELLIGENT SYSTEMS AND 21ST INTERNATIONAL SYMPOSIUM ON ADVANCED INTELLIGENT SYSTEMS (SCIS-ISIS), 2020, : 43 - 47
  • [50] Complexity of realization of functions from a class of three-valued logic by formulas of special type
    D. V. Trushchin
    Moscow University Mathematics Bulletin, 2012, 67 (4) : 158 - 163
12345