|
Достаточное условие, при котором замкнутые классы $k$-значной логики имеют только тривиальные конгруэнции
В. В. Горлов
Аннотация:
В статье получена классификация $M$-классов замкнутых классов $k$-значной
логики, минимальных по включению относительно свойства “все надклассы имеют
только тривиальные конгруэнции”, и предложен алгоритм построения $M$-классов.
На основе описания $M$-классов получено достаточное условие тривиальности конгруэнции
замкнутых классов $k$-значной логики.
Библиография: 11 названий.
Поступила в редакцию: 16.02.1979
Образец цитирования:
В. В. Горлов, “Достаточное условие, при котором замкнутые классы $k$-значной логики имеют только тривиальные конгруэнции”, Матем. сб., 110(152):4(12) (1979), 551–578; V. V. Gorlov, “A sufficient condition for closed classes of $k$-valued logic to have only trivial congruences”, Math. USSR-Sb., 38:4 (1981), 507–532
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/sm2510 https://www.mathnet.ru/rus/sm/v152/i4/p551
|
Статистика просмотров: |
Страница аннотации: | 249 | PDF русской версии: | 93 | PDF английской версии: | 18 | Список литературы: | 38 |
|