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 documento: | artigo |
| Estado: | Versão publicada |
| Data de publicação: | 2011 |
| País: | Argentina |
| Recursos: | Consejo Nacional de Investigaciones Científicas y Técnicas |
| Repositório: | CONICET Digital (CONICET) |
| Idioma: | inglês |
| OAI Identifier: | oai:ri.conicet.gov.ar:11336/15469 |
| Acesso em linha: | http://hdl.handle.net/11336/15469 |
| Access Level: | Acceso aberto |
| Palavra-chave: | Lukasiewicz Implication Algebras Quasivarieties Congruence Permutability https://purl.org/becyt/ford/1.1 https://purl.org/becyt/ford/1 |
| Resumo: | 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. |
|---|