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