|
Эта публикация цитируется в 5 научных статьях (всего в 5 статьях)
О замкнутых классах в частичной $k$-значной логике, содержащих класс монотонных функций
В. Б. Алексеев МГУ имени М. В. Ломоносова
Аннотация:
Пусть $A$ – предполный класс (максимальный клон) в $k$-значной логике и $T(A)$ – семейство всех замкнутых классов (относительно суперпозиции) в частичной $k$-значной логике, содержащих $A$. В статье установлен простой критерий, который по частичному порядку, задающему предполный класс $A$ монотонных функций, позволяет установить, является ли семейство $T(A)$ конечным или бесконечным. Этим завершается решение задачи о конечности $T(A)$ для всех предполных классов $k$-значной логики. Для доказательства используются новые семейства замкнутых классов, найденные автором.
Ключевые слова:
$k$-значная логика, частичная $k$-значная логика, замкнутый класс, предполный класс, монотонная функция.
Статья поступила: 17.04.2018
Образец цитирования:
В. Б. Алексеев, “О замкнутых классах в частичной $k$-значной логике, содержащих класс монотонных функций”, Дискрет. матем., 30:2 (2018), 3–13; Discrete Math. Appl., 29:5 (2019), 277–285
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/dm1518https://doi.org/10.4213/dm1518 https://www.mathnet.ru/rus/dm/v30/i2/p3
|
Статистика просмотров: |
Страница аннотации: | 530 | PDF полного текста: | 88 | Список литературы: | 68 | Первая страница: | 50 |
|