|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Задание импликативно неявных расширений с помощью реляционных системстатья
- Автор: Марченков С.С.
- Сборник: Математические вопросы кибернетики
- Том: 22
- Год издания: 2024
- Место издания: ФИЗМАТЛИТ Москва
- Первая страница: 276
- Последняя страница: 284
- DOI: 10.20948/mvk-2024-276
- Аннотация: Доказано, что каждое импликативно неявное расширение в P_k полностью определяется множеством всех своих не более чем k-местных отношений. Установлено, что для любых k,n > 1, реляционная n-система любого импликативно неявного расширения в P_k представляет собой булеву алгебру с теоретико-множественными операциями объединения, пересечения и (относительного) дополнения. В трехзначной логике описаны (в терминах булевых алгебр) все реляционные 2-системы, а также «остовы» реляционных 3-систем, состоящие только из отношений с тремя различными компонентами.
- Добавил в систему: Марченков Сергей Серафимович