Результаты поиска: 1 док. (сбросить фильтры)
Статья: ИМПЛИКАТИВНО ПРЕДПОЛНЫЕ МНОЖЕСТВА МУЛЬТИОПЕРАЦИЙ РАНГА 3
Исследуется критерий полноты на множестве мультиопераций ранга 3 относительно оператора импликативного замыкания. Задача является частным случаем проблемы конечной классификации мультиопераций, заданных на произвольном множестве. Получено описание всех предполных множеств. Описаны выразительные возможности оператора, в том числе найдены условия, при которых множество операций импликативно порождает все множество мультиопераций. Полученный результат может быть использован при изучении мультиопераций, заданных на произвольном множестве.