|
Интеллектуальные системы. Теория и приложения, 2016, том 20, выпуск 4, страницы 193–208
(Mi ista80)
|
|
|
|
О полноте операций «перестановка переменных», «конъюнкция»,«композиция» на бинарных предикатах
С. В. Моисеев Московский государственный университет имени М. В. Ломоносова, механико-математический факультет
Аннотация:
Работа по теории абстрактных клонов. Исследуются бинарные предикаты на $k$-элементном множестве и операции над этими предикатами. Приведeн список операций над бинарными предикатами, замыкание относительно которых для $k \in \{2, 3\}$ эквивалентно замыканию относительно всех примитивных позитивных формул. При $k \geqslant 4$ показано, что замыкание относительно указанных операций строго слабее замыкания относительно всех примитивных позитивных формул.
Ключевые слова:
теория клонов, бинарные предикаты, бинарные отношения, операции на предикатах, примитивные позитивные формулы, оператор замыкания, $k$-значная логика.
Образец цитирования:
С. В. Моисеев, “О полноте операций «перестановка переменных», «конъюнкция»,«композиция» на бинарных предикатах”, Интеллектуальные системы. Теория и приложения, 20:4 (2016), 193–208
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/ista80 https://www.mathnet.ru/rus/ista/v20/i4/p193
|
Статистика просмотров: |
Страница аннотации: | 82 | PDF полного текста: | 40 |
|