|
Вестник Московского университета. Серия 1: Математика. Механика, 2022, номер 3, страницы 40–45
(Mi vmumm4474)
|
|
|
|
Математика
О классах самодвойственных функций, неявно предполных в $P_k$
М. В. Старостин Московский государственный университет имени М. В. Ломоносова, механико-математический факультет
Аннотация:
Рассматривается проблема неявной полноты в многозначных логиках. Получены необходимые и достаточные условия, при которых класс самодвойственных функций является неявно предполным.
Ключевые слова:
неявная выразимость, $k$-значная логика, самодвойственные функции, предполные классы.
Поступила в редакцию: 15.12.2021
Образец цитирования:
М. В. Старостин, “О классах самодвойственных функций, неявно предполных в $P_k$”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2022, № 3, 40–45; Moscow University Mathematics Bulletin, 77:3 (2022), 154–159
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/vmumm4474 https://www.mathnet.ru/rus/vmumm/y2022/i3/p40
|
|