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