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...
| Authors: | , , |
|---|---|
| Format: | article |
| Status: | Published version |
| Publication Date: | 2011 |
| Country: | Argentina |
| Institution: | Consejo Nacional de Investigaciones Científicas y Técnicas |
| Repository: | CONICET Digital (CONICET) |
| Language: | English |
| OAI Identifier: | oai:ri.conicet.gov.ar:11336/15469 |
| Online Access: | http://hdl.handle.net/11336/15469 |
| Access Level: | Open access |
| Keyword: | Lukasiewicz Implication Algebras Quasivarieties Congruence Permutability https://purl.org/becyt/ford/1.1 https://purl.org/becyt/ford/1 |
| Summary: | 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. |
|---|