Congruences in closed classes in a k-valued logic, defined by predicates (Q1078552)

The results of this paper concern the coupling between congruences and the set of all predicates preserved by functions of closed classes. The main theorem gives some classification of all congruences on arbitrary closed classes and implies (as corollary) some results of \textit{A. I. Mal'tsev} [Algebra Logika 5, No.2, 5-24 (1966; Zbl 0275.08001)] and of \textit{A. I. Mal'tsev} [ibid. 11, 666-672 (1972; Zbl 0281.02059)].