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.
Keywords De Morgan algebra - finitely based quasi-variety - lattice of sub-quasi-varieties
Supported by Vicerrectoría Académica de la Facultad de Ciencias and by División de Investigación, Sede Bogotá of the Universidad Nacional de Colombia.
Special issue of Studia Logica:
Algebraic Theory of Quasivarieties
Presented by
M. E. Adams, K. V. Adaricheva, W. Dziobiak, and A. V. Kravchenko