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

共 49 条

[41] A non-finitely based system of polynomial identities which contains the identity x6=0
Gupta, CK
Krasilnikov, AN
QUARTERLY JOURNAL OF MATHEMATICS, 2002, 53 : 173 - 183
[42] Duality via Truth for Information Algebras Based on De Morgan Lattices
Radzikowska, Anna Maria
FUNDAMENTA INFORMATICAE, 2016, 144 (01) : 45 - 75
[43] Dually quasi-De Morgan Stone semi-Heyting algebras I. Regularity
Sankappanavar, Hanamantagouda P.
CATEGORIES AND GENERAL ALGEBRAIC STRUCTURES WITH APPLICATIONS, 2014, 2 (01) : 44 - 61
[44] A non-finitely-based variety of center-by-metabelian pointed groups
G. S. Deryabina
A. N. Krasil’nikov
Mathematical Notes, 2014, 95 : 743 - 746
[45] A non-finitely-based variety of center-by-metabelian pointed groups
Deryabina, G. S.
Krasil'nikov, A. N.
MATHEMATICAL NOTES, 2014, 95 (5-6) : 743 - 746
[46] Paraconsistent and Paracomplete Logics Based on k-Cyclic Modal Pseudocomplemented De Morgan Algebras
Figallo-Orellano, Aldo
Perez-Gaspar, Miguel
Manuel Ramirez-Contreras, Juan
STUDIA LOGICA, 2022, 110 (05) : 1291 - 1325
[47] Paraconsistent and Paracomplete Logics Based on k-Cyclic Modal Pseudocomplemented De Morgan Algebras
Aldo Figallo-Orellano
Miguel Peréz-Gaspar
Juan Manuel Ramírez-Contreras
Studia Logica, 2022, 110 : 1291 - 1325
[48] Lee monoid L41\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$L_4^1$$\end{document} is non-finitely based
Inna A. Mikhailova
Olga B. Sapir
Algebra universalis, 2018, 79 (3)
[49] The monoid of 2×2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$2 \times 2$$\end{document} triangular boolean matrices under skew transposition is non-finitely based
Meng Gao
Wen Ting Zhang
Yan Feng Luo
Semigroup Forum, 2020, 100 (1) : 153 - 168

← 1 2 3 4 5 →