A SUFFICIENT CONDITION FOR CLOSED CLASSES OF $k$-VALUED LOGIC TO HAVE ONLY TRIVIAL CONGRUENCES
V V Gorlov · Mathematics of the USSR-Sbornik · 1981
In this paper the author obtains a classification of -classes of closed classes of -valued logic that are minimal (with respect to inclusion) relative to the property all superclasses have only trivial congruences, and an algorithm for constructing -classes is proposed. On the basis of a description of -classes, a sufficient condition is obtained for triviality of congruences of closed classes of -valued logic. Bibliography: 11 titles.