Monadic MV-algebras II: Monadic implicational subreducts
In this paper, we study the class of all monadic implicational subreducts, that is, the {→, ∀, 1}-subreducts of the class of monadic MV-algebras. We prove that this class is an equational class, which we denote by ML, and we give an equational basis for this variety. An algebra in ML is called a mon...
| Autores: | , |
|---|---|
| Tipo de recurso: | artículo |
| Estado: | Versión publicada |
| Fecha de publicación: | 2014 |
| 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/29828 |
| Acceso en línea: | http://hdl.handle.net/11336/29828 |
| Access Level: | acceso abierto |
| Palabra clave: | Monadic Mv-Algebras Monadic Implicationa Subreducts Lukasiewicz Implication Algebras Subvarieties Equational Bases https://purl.org/becyt/ford/1.1 https://purl.org/becyt/ford/1 |
| Sumario: | In this paper, we study the class of all monadic implicational subreducts, that is, the {→, ∀, 1}-subreducts of the class of monadic MV-algebras. We prove that this class is an equational class, which we denote by ML, and we give an equational basis for this variety. An algebra in ML is called a monadic Lukasiewicz implication algebra. We characterize the subdirectly irreducible members of ML and the congruences of every monadic Lukasiewicz implication algebra by monadic filters. We prove that ML is generated by its finite members. Finally, we completely describe the lattice of subvarieties, and we give an equational basis for each proper subvariety. |
|---|