info:eu-repo/semantics/article
Conditions for permutability of congruences in implication algebras
Fecha
2009-09Registro en:
Castaño, Diego Nicolás; Díaz Varela, José Patricio; Conditions for permutability of congruences in implication algebras; Springer; Order; 26; 3; 9-2009; 245-254
0167-8094
1572-9273
CONICET Digital
CONICET
Autor
Castaño, Diego Nicolás
Díaz Varela, José Patricio
Resumen
In this paper we give conditions on an implication algebra A so that two congruences θ1, θ2 on A permute, i.e. θ1 ○ θ2 = θ2 ○ θ1. We also provide simpler conditions for permutability in finite implication algebras. Finally we present some applications of these characterizations.