Completions in subvarieties of BL-algebras

In the present paper we extend previous results by completely characterizing dual canonical subvarieties of BL-algebras. These are subvarieties of algebras that satisfy the equation x^k=x^{k+1} for some integer k>0. As a corollary we get a full description of subvarieties of BL-algebras that admi...

Descripción completa

Detalles Bibliográficos
Autores: Busaniche, Manuela, Cabrer, Leonardo Manuel
Tipo de recurso: artículo
Estado:Versión publicada
Fecha de publicación:2012
País:Argentina
Institución:Consejo Nacional de Investigaciones Científicas y Técnicas
Repositorio:CONICET Digital (CONICET)
Idioma:inglés
OAI Identifier:oai:ri.conicet.gov.ar:11336/67943
Acceso en línea:http://hdl.handle.net/11336/67943
Access Level:acceso abierto
Palabra clave:Bl-Álgebras
Completaciones
Retículos Residuados
Extensiones Canónicas
https://purl.org/becyt/ford/1.1
https://purl.org/becyt/ford/1
Descripción
Sumario:In the present paper we extend previous results by completely characterizing dual canonical subvarieties of BL-algebras. These are subvarieties of algebras that satisfy the equation x^k=x^{k+1} for some integer k>0. As a corollary we get a full description of subvarieties of BL-algebras that admit completions.