|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
CONSTRUCTIVE INTERPRETATIONS OF LOGICAL AND LOGICAL-MATHEMATICAL LANGUAGESдоклад на конференции
- Автор: Плиско Валерий Егорович
- Международная Конференция : SCAN 2023 Semantical and Computational Aspects of Non-Classical Logics
- Даты проведения конференции: 13-17 июня 2023
- Дата доклада: 13 июня 2023
- Тип доклада: Пленарный
- Докладчик: не указан
- Место проведения: Steklov Mathematical Institute of Russian Academy of Sciences, Russia
-
Аннотация доклада:
A survey of the author’s main results obtained during his lifetime is offered in the context of research in the field of constructive logic conducted in the USSR and Russia (and not only) in the last 50 years
- Добавил в систему: Плиско Валерий Егорович