Quasivarieties and congruence permutability of Lukasiewicz implication algebras
In this paper we study some questions concerning Łukasiewicz implication algebras. In particular, we show that every subquasivariety of Łukasiewicz implication algebras is, in fact, a variety. We also derive some characterizations of congruence permutable algebras. The starting point for these resul...
| Autores: | , , |
|---|---|
| Tipo de recurso: | artículo |
| Estado: | Versión publicada |
| Fecha de publicación: | 2011 |
| 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/15469 |
| Acceso en línea: | http://hdl.handle.net/11336/15469 |
| Access Level: | acceso abierto |
| Palabra clave: | Lukasiewicz Implication Algebras Quasivarieties Congruence Permutability https://purl.org/becyt/ford/1.1 https://purl.org/becyt/ford/1 |
| Sumario: | In this paper we study some questions concerning Łukasiewicz implication algebras. In particular, we show that every subquasivariety of Łukasiewicz implication algebras is, in fact, a variety. We also derive some characterizations of congruence permutable algebras. The starting point for these results is a representation of finite Łukasiewicz implication algebras as upwardly-closed subsets in direct products of MV-chains. |
|---|