Unification and Projectivity in De Morgan and Kleene Algebras

被引：0
|
作者：
Simone Bova
Leonardo Cabrer
机构：
[1] Technische Universität Wien,Institut für Informationssysteme
[2] University of Bern,Mathematics Institute
来源：
Order | 2014年 / 31卷
关键词：
Distributive lattices; De Morgan and Kleene algebras; Unification; Projectivity;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
We provide a complete classification of solvable instances of the equational unification problem over De Morgan and Kleene algebras with respect to unification type. The key tool is a combinatorial characterization of finitely generated projective De Morgan and Kleene algebras.
引用
收藏
页码：159 / 187
页数：28
相关论文
共 50 条
  • [21] Unification and projectivity in Fregean varieties
    Slomczynska, Katarzyna
    LOGIC JOURNAL OF THE IGPL, 2012, 20 (01) : 73 - 93
  • [22] Involutive stone algebras and regular α-De Morgan algebras
    Santos, R
    HOUSTON JOURNAL OF MATHEMATICS, 1998, 24 (04): : 571 - 591
  • [23] Perfect extensions of de Morgan algebras
    Haviar, Miroslav
    Ploscica, Miroslav
    ALGEBRA UNIVERSALIS, 2021, 82 (04)
  • [24] A Family of Finite De Morgan Algebras
    Walker, Carol L.
    Walker, Elbert A.
    2009 ANNUAL MEETING OF THE NORTH AMERICAN FUZZY INFORMATION PROCESSING SOCIETY, 2009, : 421 - 426
  • [25] De Morgan Algebras with Tense Operators
    Chajda, Ivan
    Paseka, Jan
    JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, 2017, 28 (01) : 29 - 45
  • [26] Existentially closed De Morgan algebras
    Aslanyan, Vahagn
    ALGEBRA UNIVERSALIS, 2019, 81 (01)
  • [27] de Morgan algebras with double pseudocomplementation
    Fang, Jie
    Wang, Lei-Bo
    ASIAN-EUROPEAN JOURNAL OF MATHEMATICS, 2015, 8 (01)
  • [28] BOOLE-DE MORGAN ALGEBRAS AND QUASI-DE MORGAN FUNCTIONS
    Movsisyan, Yu. M.
    Aslanyan, V. A.
    COMMUNICATIONS IN ALGEBRA, 2014, 42 (11) : 4757 - 4777
  • [29] DE-MORGAN ALGEBRAS ARE UNIVERSAL
    ADAMS, ME
    PRIESTLEY, HA
    DISCRETE MATHEMATICS, 1987, 66 (1-2) : 1 - 13
  • [30] Existentially closed De Morgan algebras
    Vahagn Aslanyan
    Algebra universalis, 2020, 81
12345