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

Рассмотрена задача о конечной порожденности предполных классов монотонных функций $k$-значной логики. Для семейства всех частично упорядоченных множеств с наименьшим и наибольшим элементами таких, что для любых двух элементов $x$ и $y$ существует $\sup(x,y)$ или $\inf(x,y)$, установлено, что соответствующие классы монотонных функций являются конечно-порожденными.