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 条
  • [31] Perfect extensions of de Morgan algebras
    Miroslav Haviar
    Miroslav Ploščica
    Algebra universalis, 2021, 82
  • [32] Classical Modal De Morgan Algebras
    Sergio A. Celani
    Studia Logica, 2011, 98 : 251 - 266
  • [33] Classical Modal De Morgan Algebras
    Celani, Sergio A.
    STUDIA LOGICA, 2011, 98 (1-2) : 251 - 266
  • [34] Tense operators on De Morgan algebras
    Figallo, Aldo V.
    Pelaitay, Gustavo
    LOGIC JOURNAL OF THE IGPL, 2014, 22 (02) : 255 - 267
  • [35] Several results on de Morgan algebra and Kleene algebra of fuzzy logic
    Deng, JM
    Umano, M
    Oda, T
    Uno, Y
    10TH IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS, VOLS 1-3: MEETING THE GRAND CHALLENGE: MACHINES THAT SERVE PEOPLE, 2001, : 1144 - 1147
  • [36] ON KLEENE ALGEBRAS
    CRVENKOVIC, S
    MADARASZ, RS
    THEORETICAL COMPUTER SCIENCE, 1993, 108 (01) : 17 - 24
  • [37] De Morgan property for effect algebras of von Neumann algebras
    Cattaneo, G
    Hamhalter, J
    LETTERS IN MATHEMATICAL PHYSICS, 2002, 59 (03) : 243 - 252
  • [38] Subdirectly irreducible algebras with hyperidentities of the variety of De Morgan algebras
    Movsisyan, Yu M.
    Aslanyan, V. A.
    JOURNAL OF CONTEMPORARY MATHEMATICAL ANALYSIS-ARMENIAN ACADEMY OF SCIENCES, 2013, 48 (06): : 241 - 246
  • [39] De Morgan Property for Effect Algebras of von Neumann Algebras
    G. Cattaneo
    J. Hamhalter
    Letters in Mathematical Physics, 2002, 59 : 243 - 252
  • [40] Subdirectly irreducible algebras with hyperidentities of the variety of De Morgan algebras
    Yu. M. Movsisyan
    V. A. Aslanyan
    Journal of Contemporary Mathematical Analysis, 2013, 48 : 241 - 246
12345