М. В. Старостин, “О классах самодвойственных функций, неявно предполных в $P_k$”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2022, номер 3,страницы 40

Математика

О классах самодвойственных функций, неявно предполных в $P_k$

М. В. Старостин

Московский государственный университет имени М. В. Ломоносова, механико-математический факультет

Аннотация: Рассматривается проблема неявной полноты в многозначных логиках. Получены необходимые и достаточные условия, при которых класс самодвойственных функций является неявно предполным.

Ключевые слова: неявная выразимость, $k$-значная логика, самодвойственные функции, предполные классы.

УДК: 519.716.32

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