Статья в сборнике "Математические вопросы кибернетики" №18, Москва, 2013
Авторы:Марченков С.С.
Оператор E-замыкания на множестве частичных функций многозначной логики
Аннотация:
На множестве частичных функций многозначной логики рассматривается оператор E-замыкания (оператор замыкания с разветвлением по предикату равенства). Для любого k>2 найдены все E-предполные классы k-значной логики. Доказано, что любой E-замкнутый класс частичных функций k-значной логики E-порождается своими функциями от k переменных. Установлен критерий E-полноты в классе частичных функций трехзначной логики.
Ключевые слова:
частичные функции многозначной логики, оператор E-замыкания
