|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
О точных моделях логики свидетельствдоклад на конференции
- Автор: Крупский В.Н.
- Международная Конференция : Одиннадцатые Смирновские чтения по логике. Международная научная конференция. 19-21 июня 2019 года
- Даты проведения конференции: 19-21 июня 2019
- Дата доклада: 20 июня 2019
- Тип доклада: Устный
- Докладчик: не указан
- Место проведения: Философский факультет, МГУ имени М. В. Ломоносова, Russia
-
Аннотация доклада:
Предложена полная аксиоматизация свойства точности модели логики свидетельств.
- Добавил в систему: Крупский Владимир Николаевич