In this paper we give conditions on an implication algebra A so that two congruences theta (1), theta (2) on A permute, i.e. theta (1) a similar to aEuro parts per thousand theta (2) = theta (2) a similar to aEuro parts per thousand theta (1). We also provide simpler conditions for permutability in finite implication algebras. Finally we present some applications of these characterizations.