Основные отношения $S$-классификации функций многозначной логики

На множестве функций многозначной логики $S$-замыкание определяется как замыкание относительно операций суперпозиции и перехода к двойственным функциям. Для описания $S$-замкнутых классов, лежащих в $S$-предполном классе идемпотентных функций, определяются некоторые стандартные отношения, называемые основными. Доказывается, что всякий $S$-замкнутый класс идемпотентных функций, задаваемый произвольными двуместными отношениями, можно определить также подходящими основными отношениями.
Работа выполнена при финансовой поддержке Российского фонда фундаментальных исследований, проекты 93–011–1525 и 95–01–01625а.