Статья в сборнике "Математические вопросы кибернетики" №22, Москва, 2024
Авторы:Марченков С.С.
Задание импликативно неявных расширений с помощью реляционных систем
Аннотация:
Рассматривается задание импликативно неявных расширений с помощью реляционных систем - систем отношений от одинакового числа аргументов. Доказано, что в этом случае реляционные n-системы (системы отношений от n аргументов) представляют собой булевы алгебры с теоретико-множественными операциями объединения, пересечения и (относительного) дополнения. В терминах булевых алгебр полностью охарактеризованы все реляционные 2-системы для импликативно неявных расширений в трехзначной логике. Для реляционных 3-систем аналогичное описание проведено для ограничений отношений на множество всех наборов с тремя различными компонентами.
Ключевые слова:
импликативно неявное расширение, реляционная система
