ИСТИНА |
Войти в систему Регистрация |
|
ИПМех РАН |
||
В диссертации исследуются свойства пересечений и объединений предполных классов многозначной логики. Получены все основные замкнутые классы в трехзначной логике и описан алгоритм построения образуемой ими решетки по вложению. В четырехзначной логике построены фрагменты решетки всех основных замкнутых классов.