A lower estimate of the complexity of three-valued logic functions in the class of polarized polynomials

被引:5
|
作者
Markelov N.K. [1 ]
机构
[1] Department of Computational Mathematics and Cybernetics, Moscow State University
基金
俄罗斯基础研究基金会;
关键词
complexity; polarized polynomial; polynomial; Shannon function; Three-valued function;
D O I
10.3103/S0278641912030041
中图分类号
学科分类号
摘要
A lower estimate of the Shannon function for the complexity of three-valued logic functions in the class of polarized polynomials is found. © 2012 Allerton Press, Inc.
引用
收藏
页码:150 / 154
页数:4
相关论文
共 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] Formal axiomatic theories based on a three-valued logic
    Zaslavsky I.D.
    Journal of Mathematical Sciences, 2005, 130 (2) : 4578 - 4597