Classes Generated by Monotone Symmetric Functions in the Three-Valued Logic

被引：0
|
作者：
Mikhailovich, A. V. [1 ]
机构：
[1] Moscow MV Lomonosov State Univ, Fac Mech & Math, Moscow 119899, Russia
来源：
MOSCOW UNIVERSITY MATHEMATICS BULLETIN | 2009年 / 64卷 / 01期
基金：
俄罗斯基础研究基金会;
关键词：
D O I：
10.3103/S0027132209010082
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
Closed classes of functions of the three-valued logic whose generating systems consist of monotone symmetric functions taking values in the set {0, 1} are considered. Criteria for existence of a basis and for existence of a finite basis are obtained for closed classes from the family under consideration,
引用
收藏
页码：34 / 38
页数：5
相关论文
共 50 条
  • [21] ON THREE-VALUED PRESENTATIONS OF CLASSICAL LOGIC
    Da Re, Bruno
    Szmuc, Damian
    Chemla, Emmanuel
    Egre, Paul
    REVIEW OF SYMBOLIC LOGIC, 2024, 17 (03): : 682 - 704
  • [22] Three-valued Logics in Modal Logic
    Barteld Kooi
    Allard Tamminga
    Studia Logica, 2013, 101 : 1061 - 1072
  • [23] A Three-Valued Fregean Quantification Logic
    Ma, Minghui
    Lin, Yuanlei
    JOURNAL OF PHILOSOPHICAL LOGIC, 2019, 48 (02) : 409 - 423
  • [24] Closed classed of three-valued logic that contain essentially multiplace functions
    Marchenkov, Sergey S.
    DISCRETE MATHEMATICS AND APPLICATIONS, 2015, 25 (04): : 233 - 240
  • [25] A rank of implicit representations over a class of three-valued logic functions
    Mikhailets E.V.
    Moscow University Mathematics Bulletin, 2008, 63 (5) : 221 - 223
  • [26] Three-valued Logics in Modal Logic
    Kooi, Barteld
    Tamminga, Allard
    STUDIA LOGICA, 2013, 101 (05) : 1061 - 1072
  • [27] Three-valued logic and dynamic semantics
    Kustner, H
    ANALYOMEN 2, VOL I: LOGIC, EPISTEMOLOGY, PHILOSOPHY OF SCIENCE, 1997, 16 : 116 - 123
  • [28] A three-valued semantics for logic programmers
    Naish, Lee
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2006, 6 : 509 - 538
  • [29] ON A NEW THREE-VALUED PARACONSISTENT LOGIC
    Olkhovikov, Grigory
    JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS, 2016, 3 (03): : 317 - 334
  • [30] The lattice of the clones of self-dual functions in three-valued logic
    Zhuk, Dmitriy
    2011 41ST IEEE INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL), 2011, : 193 - 197
12345