О Выразимости Функций Многозначной Логики В Некоторых Логико-Функциональных Языках

Задание Позитивно Замкнутых Классов Посредством Полугрупп Эндоморфизмов

“…Несколько позднее в [4] (см. также [5]) было предложено более формализованное логико-функциональное определение оператора параметрического замыкания.…”

“…Первым среди них стал оператор позитивного замыкания (который оказался еще более "сильным", нежели оператор параметрического замыкания). Оператор позитивного замыкания иссле-довался автором в [4][5][6][7][8][9]. В частности, было найдено (см.…”

“…В частности, было найдено (см. [4]), что имеется ровно шесть позитивно замкнутых классов булевых функций и при любом k > 3 число позитивно за-мкнутых классов в P k строго меньше числа подполугрупп с единицей в симметрической полугруппе степени k.…”

“…Напомним основные понятия, связанные с оператором позитивного замыкания [4]. Вначале определим язык Pos.…”

“…Множества вида PosOEQ называем позитивно замкнутыми классами. Известно [4], что всякий позитивно замкнутый класс замкнут относительно операции суперпозиции и со-держит все селекторные функции (проекции). Понятия позитивно порождающей системы и позитивно предполного класса аналогичны соответствующим понятиям для операции суперпозиции.…”