Computational complexity for bounded distributive lattices with negation

被引：1
|
作者：
Shkatov, Dmitry [1 ]
Van Alten, C. J. [1 ]
机构：
[1] Univ Witwatersrand, Sch Comp Sci & Appl Math, Private Bag 3, ZA-2050 Johannesburg, South Africa
来源：
ANNALS OF PURE AND APPLIED LOGIC | 2021年 / 172卷 / 07期
关键词：
Universal theory; Computational complexity; Distributive lattice with negation; Partial algebra;
D O I：
10.1016/j.apal.2021.102962
中图分类号：
O29 [应用数学];
学科分类号：
070104 ;
摘要：
We study the computational complexity of the universal and quasi-equational theories of classes of bounded distributive lattices with a negation operation, i.e., a unary operation satisfying a subset of the properties of the Boolean negation. The upper bounds are obtained through the use of partial algebras. The lower bounds are either inherited from the equational theory of bounded distributive lattices or obtained through a reduction of a global satisfiability problem for a suitable system of propositional modal logic. (c) 2021 Elsevier B.V. All rights reserved.
引用
收藏
页数：29
相关论文
共 50 条
  • [21] On Linear Approximations of Sugeno Integrals on Bounded Distributive Lattices
    Halas, Radomir
    Mesiar, Radko
    Pocs, Jozef
    IEEE TRANSACTIONS ON FUZZY SYSTEMS, 2018, 26 (05) : 3177 - 3181
  • [22] Associative Polynomial Functions over Bounded Distributive Lattices
    Couceiro, Miguel
    Marichal, Jean-Luc
    ORDER-A JOURNAL ON THE THEORY OF ORDERED SETS AND ITS APPLICATIONS, 2011, 28 (01): : 1 - 8
  • [23] On the restricted cores and the bounded core of games on distributive lattices
    Grabisch, Michel
    Sudholter, Peter
    EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, 2014, 235 (03) : 709 - 717
  • [24] Rank bounded Hibi subrings for planar distributive lattices
    Irfan, Rida
    Shoukat, Nadia
    MATHEMATICAL COMMUNICATIONS, 2019, 24 (02) : 211 - 220
  • [25] Associative Polynomial Functions over Bounded Distributive Lattices
    Miguel Couceiro
    Jean-Luc Marichal
    Order, 2011, 28 : 1 - 8
  • [26] Bounded distributive lattices with strict implication and weak difference
    Celani, Sergio
    Nagy, Agustin
    Botero, William Zuluaga
    ARCHIVE FOR MATHEMATICAL LOGIC, 2024,
  • [27] Congruences and the discrete Sugeno integrals on bounded distributive lattices
    Halas, Radomir
    Mesiar, Radko
    Pocs, Jozef
    INFORMATION SCIENCES, 2016, 367 : 443 - 448
  • [28] Computational reasoning based on complemented distributive lattices
    Jiang Shu-Rong
    Mi Ju-Sheng
    Ma Li
    INTERNATIONAL JOURNAL OF MACHINE LEARNING AND CYBERNETICS, 2015, 6 (03) : 475 - 478
  • [29] Computational reasoning based on complemented distributive lattices
    Jiang Shu-Rong
    Mi Ju-Sheng
    Ma Li
    International Journal of Machine Learning and Cybernetics, 2015, 6 : 475 - 478
  • [30] Quasi-polynomial functions over bounded distributive lattices
    Miguel Couceiro
    Jean-Luc Marichal
    Aequationes mathematicae, 2010, 80 : 319 - 334
12345