RUS  ENG
Полная версия
ЖУРНАЛЫ // Дискретная математика // Архив

Дискрет. матем., 2018, том 30, выпуск 2, страницы 3–13 (Mi dm1518)

Эта публикация цитируется в 5 статьях

О замкнутых классах в частичной $k$-значной логике, содержащих класс монотонных функций

В. Б. Алексеев

МГУ имени М. В. Ломоносова

Аннотация: Пусть $A$ – предполный класс (максимальный клон) в $k$-значной логике и $T(A)$ – семейство всех замкнутых классов (относительно суперпозиции) в частичной $k$-значной логике, содержащих $A$. В статье установлен простой критерий, который по частичному порядку, задающему предполный класс $A$ монотонных функций, позволяет установить, является ли семейство $T(A)$ конечным или бесконечным. Этим завершается решение задачи о конечности $T(A)$ для всех предполных классов $k$-значной логики. Для доказательства используются новые семейства замкнутых классов, найденные автором.

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

УДК: 519.716

Статья поступила: 17.04.2018

DOI: 10.4213/dm1518


 Англоязычная версия: Discrete Mathematics and Applications, 2019, 29:5, 277–285

Реферативные базы данных:


© МИАН, 2024