A~sufficient condition for closed classes of $k$-valued logic to have only trivial congruences
Sbornik. Mathematics, Tome 38 (1981) no. 4, pp. 507-532
Voir la notice de l'article provenant de la source Math-Net.Ru
In this paper the author obtains a classification of $M$-classes of closed classes of $k$-valued logic that are minimal (with respect to inclusion) relative to the property “all superclasses have only trivial congruences”, and an algorithm for constructing $M$-classes is proposed. On the basis of a description of $M$-classes, a sufficient condition is obtained for triviality of congruences of closed classes of $k$-valued logic.
Bibliography: 11 titles.
@article{SM_1981_38_4_a4,
author = {V. V. Gorlov},
title = {A~sufficient condition for closed classes of $k$-valued logic to have only trivial congruences},
journal = {Sbornik. Mathematics},
pages = {507--532},
publisher = {mathdoc},
volume = {38},
number = {4},
year = {1981},
language = {en},
url = {http://geodesic.mathdoc.fr/item/SM_1981_38_4_a4/}
}
V. V. Gorlov. A~sufficient condition for closed classes of $k$-valued logic to have only trivial congruences. Sbornik. Mathematics, Tome 38 (1981) no. 4, pp. 507-532. http://geodesic.mathdoc.fr/item/SM_1981_38_4_a4/