RUS  ENG
Полная версия
ЖУРНАЛЫ // Математический сборник // Архив

Матем. сб., 1979, том 110(152), номер 4(12), страницы 551–578 (Mi sm2510)

Достаточное условие, при котором замкнутые классы $k$-значной логики имеют только тривиальные конгруэнции

В. В. Горлов


Аннотация: В статье получена классификация $M$-классов замкнутых классов $k$-значной логики, минимальных по включению относительно свойства “все надклассы имеют только тривиальные конгруэнции”, и предложен алгоритм построения $M$-классов. На основе описания $M$-классов получено достаточное условие тривиальности конгруэнции замкнутых классов $k$-значной логики.
Библиография: 11 названий.

УДК: 517.1

MSC: Primary 03G20, 03B50; Secondary 03F65, 08A30

Поступила в редакцию: 16.02.1979


 Англоязычная версия: Mathematics of the USSR-Sbornik, 1981, 38:4, 507–532

Реферативные базы данных:


© МИАН, 2024