ИСТИНА |
Войти в систему Регистрация |
|
ИСТИНА ИНХС РАН |
||
Рассматривается соответствие Галуа между замкнутыми классами функций и замкнутыми классами предикатов. Предложен метод описания структур надрешеток замкнутых классов функций на основе этого соответствия. Метод используется для описания решетки замкнутых классов функций трехзначной логики, содержащих функцию максимума для частичного порядка {(0,2), (1,2)}.