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

摘要

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