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