Головная страница ИПМ Библиотеки, издания  •  Поиск публикаций  English 
Публикация

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