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 条
  • [1] Distributive lattices with a negation operator
    Celani, SA
    MATHEMATICAL LOGIC QUARTERLY, 1999, 45 (02) : 207 - 218
  • [2] On unification for bounded distributive lattices
    Sofronie-Stokkermans, Viorica
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2007, 8 (02)
  • [3] Subordinations on Bounded Distributive Lattices
    Celani, Sergio A.
    ORDER-A JOURNAL ON THE THEORY OF ORDERED SETS AND ITS APPLICATIONS, 2023, 40 (01): : 1 - 27
  • [4] Subordinations on Bounded Distributive Lattices
    Sergio A. Celani
    Order, 2023, 40 : 1 - 27
  • [5] On unification for bounded distributive lattices
    Sofronie-Stokkermans, V
    AUTOMATED DEDUCTION - CADE-17, 2000, 1831 : 465 - 481
  • [6] Finite axiomatizability of logics of distributive lattices with negation
    Marcelino, Sergio
    Rivieccio, Umberto
    LOGIC JOURNAL OF THE IGPL, 2023, 31 (03) : 510 - 533
  • [7] Condorcet Winners on Bounded and Distributive Lattices
    Cardin, Marta
    NEW TRENDS IN AGGREGATION THEORY, 2019, 981 : 339 - 346
  • [8] Bounded distributive lattices with strict implication
    Celani, S
    Jansana, R
    MATHEMATICAL LOGIC QUARTERLY, 2005, 51 (03) : 219 - 246
  • [9] Inverse Monoids and Bounded Distributive Lattices
    Blyth, T. S.
    Almeida Santos, M. H.
    SOUTHEAST ASIAN BULLETIN OF MATHEMATICS, 2021, 45 (05) : 649 - 658
  • [10] MINIMAL EXTENSIONS OF DISTRIBUTIVE BOUNDED LATTICES
    Adams, M. E.
    Schmid, Juerg
    HOUSTON JOURNAL OF MATHEMATICS, 2008, 34 (04): : 1009 - 1024
12345