НИС "Современные проблемы математической логики" в ВШЭ. Дата и время: 28.02.2025 в 16:20 Докладчик: Федор Пахомов Название: Инфинитарная логика доказуемости В данном докладе я расскажу об аналогах и обобщениях некоторых результатов об обычной логике доказуемости на инфинитарный случай. С одной стороны будет дана полная по Крипке нефундированная система доказательств на основе глубокого вывода. С другой стороны будет дана интерпретация связки бокс как некоторых предикатов доказуемости в допустимых фрагментах инфинитарной первопорядковой логики.
![Видео: ЛАТЫНИНА и АРЕСТОВИЧ про встречу Зеленского с Трампом [Пародия]](https://i.ytimg.com/vi/DYo-iQfYq9U/mqdefault.jpg "ЛАТЫНИНА и АРЕСТОВИЧ про встречу Зеленского с Трампом [Пародия]")
