A non-finitely based quasi-variety of De Morgan algebras

被引：2
|
作者：
Gaitán H. [1 ]
Perea M.H. [2 ]
机构：
[1] Departamento de Matmáticas, Universidad Nacional de Colombia, Ciudad Universitaria, Bogotá
[2] Universidad Tecnológica del Chocó, 'Diego Luis Córdoba', Departamento de Matemáticas y Física, Quibdó, Chocó
来源：
Studia Logica | 2004年 / 78卷 / 1-2期
关键词：
De Morgan algebra; Finitely based quasi-variety; Lattice of sub-quasi-varieties;
D O I：
10.1007/s11225-005-7248-6
中图分类号：
学科分类号：
摘要：
In this paper we exhibit a non-finitely based, finitely generated quasi-variety of De Morgan algebras and determine the bottom of the lattices of sub-quasi-varieties of Kleene and De Morgan algebras. © 2004 Kluwer Academic Publishers.
引用
收藏
页码：237 / 248
页数：11
相关论文
共 50 条
  • [31] Unary enhancements of inherently non-finitely based semigroups
    Auinger, K.
    Dolinka, I.
    Pervukhina, T. V.
    Volkov, M. V.
    SEMIGROUP FORUM, 2014, 89 (01) : 41 - 51
  • [32] The variety of Kleene algebras with conversion is not finitely based
    Crvenkovic, S
    Dolinka, I
    Ésik, Z
    THEORETICAL COMPUTER SCIENCE, 2000, 230 (1-2) : 235 - 245
  • [33] A non-finitely based involution semigroup of order five
    Gao, Meng
    Zhang, Wen Ting
    Luo, Yan Feng
    ALGEBRA UNIVERSALIS, 2020, 81 (03)
  • [34] A non-finitely based involution semigroup of order five
    Meng Gao
    Wen Ting Zhang
    Yan Feng Luo
    Algebra universalis, 2020, 81
  • [35] Unary enhancements of inherently non-finitely based semigroups
    K. Auinger
    I. Dolinka
    T. V. Pervukhina
    M. V. Volkov
    Semigroup Forum, 2014, 89 : 41 - 51
  • [36] De Morgan Algebras with a Quasi-Stone Operator
    Blyth, T. S.
    Fang, Jie
    Wang, Lei-bo
    STUDIA LOGICA, 2015, 103 (01) : 75 - 90
  • [37] De Morgan Algebras with a Quasi-Stone Operator
    T. S. Blyth
    Jie Fang
    Lei-bo Wang
    Studia Logica, 2015, 103 : 75 - 90
  • [38] Lee monoid L41 is non-finitely based
    Mikhailova, Inna A.
    Sapir, Olga B.
    ALGEBRA UNIVERSALIS, 2018, 79 (03)
  • [39] A simple example of a non-finitely based system of polynomial identities
    Gupta, CK
    Krasilnikov, AN
    COMMUNICATIONS IN ALGEBRA, 2002, 30 (10) : 4851 - 4866
  • [40] The Poset-based Logics for the De Morgan Negation and Set Representation of Partial Dynamic De Morgan Algebras
    Chajda, Ivan
    Paseka, Jan
    JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, 2018, 31 (03) : 213 - 237
12345