Натуральный вывод для кросс-мировой логики

Name: Натуральный вывод для кросс-мировой логики
Uploaded: 2025-10-14T09:27:50+03:00
Duration: 1 h 29 min 21 s
Channel: uAnalytiCon

12+

6 просмотров

год назад

Доклад Е. В. Борисова «Натуральный вывод для кросс-мировой логики» на воркшопе кафедры онтологии и теории познания УрФУ 10 октября 2025 г. В докладе было представлено натуральное исчисление для упрощенного варианта логики для кросс-мировой предикации. Доклад подготовлен при поддержке Фонда Потанина.

, чтобы оставлять комментарии