RUS  ENG
Полная версия
ЖУРНАЛЫ // Интеллектуальные системы. Теория и приложения // Архив

Интеллектуальные системы. Теория и приложения, 2016, том 20, выпуск 4, страницы 193–208 (Mi ista80)

О полноте операций «перестановка переменных», «конъюнкция»,«композиция» на бинарных предикатах

С. В. Моисеев

Московский государственный университет имени М. В. Ломоносова, механико-математический факультет

Аннотация: Работа по теории абстрактных клонов. Исследуются бинарные предикаты на $k$-элементном множестве и операции над этими предикатами. Приведeн список операций над бинарными предикатами, замыкание относительно которых для $k \in \{2, 3\}$ эквивалентно замыканию относительно всех примитивных позитивных формул. При $k \geqslant 4$ показано, что замыкание относительно указанных операций строго слабее замыкания относительно всех примитивных позитивных формул.

Ключевые слова: теория клонов, бинарные предикаты, бинарные отношения, операции на предикатах, примитивные позитивные формулы, оператор замыкания, $k$-значная логика.



© МИАН, 2024