![]() |
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
В работе исследуется возможность семантического моделирования таких унарных связок, чья двойная итерация была бы способна симулировать свойства других хорошо известных унарных связок: классического, паранепротиворечивого и параполного отрицаний.