Conditions for permutability of congruences in implication algebras

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.Fil: Castaño, Diego Nicolás. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Matemática Bahía Blanca. Universidad Nacional del Sur. Departamento de Matemática. Instituto de Matemática Bahía Blanca; ArgentinaFil: Díaz Varela, José Patricio. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Matemática Bahía Blanca. Universidad Nacional del Sur. Departamento de Matemática. Instituto de Matemática Bahía Blanca; Argentin