Эта публикация цитируется в
6 статьях
О замкнутых классах в частичной $k$-значной логике, содержащих класс монотонных функций
В. Б. Алексеев МГУ имени М. В. Ломоносова
Аннотация:
Пусть
$A$ – предполный класс (максимальный клон) в
$k$-значной логике и
$T(A)$ – семейство всех замкнутых классов (относительно суперпозиции) в частичной
$k$-значной логике, содержащих
$A$. В статье установлен простой критерий, который по частичному порядку, задающему предполный класс
$A$ монотонных функций, позволяет установить, является ли семейство
$T(A)$ конечным или бесконечным. Этим завершается решение задачи о конечности
$T(A)$ для всех предполных классов
$k$-значной логики. Для доказательства используются новые семейства замкнутых классов, найденные автором.
Ключевые слова:
$k$-значная логика, частичная
$k$-значная логика, замкнутый класс, предполный класс, монотонная функция.
УДК:
519.716 Статья поступила: 17.04.2018
DOI:
10.4213/dm1518