Пыльцын Иван Олегович
- Стажер-исследователь:Международная лаборатория логики, лингвистики и формальной философии
- Начал работать в НИУ ВШЭ в 2023 году.
Публикации2
- Препринт Пыльцын И. О. Generalizations of Mezhirov's game semantics to predicate superintuitionistic logics and the Casari formula / Cornell University. Series arXiv "math". 2023. doi
- Глава книги Пыльцын И. О. Mezhirov’s game for intuitionistic logic and its variations, in: SCAN 2023 Semantical and Computational Aspects of Non-Classical Logics: Moscow + Online, June 13–17, 2023. Abstracts. M. : ., 2023. P. 61-63.
Доклад Ивана Пыльцына «О сильной эквивалентности арифметики Пеано и теории конечных множеств»
10 и 17 ноября стажер-исследователь Иван Пыльцын выступил с докладами «О сильной эквивалентности арифметики Пеано и теории конечных множеств» на исследовательском семинаре "From the Logical Point of View".
Доклад Ивана Пыльцына «Введение в арифметику Пеано»
22 сентября на учебном семинаре «Логическая семантика» стажер-исследователь Иван Пыльцын выступил с докладом «Введение в арифметику Пеано».
Доклад Ивана Пыльцына на ESSLLI 2023
Иван Пыльцын выступил с докладом на воркшопе «First-order Modal and Temporal Logics: State of the art and perspectives» в рамках Европейской летней школы по логике, языку и информации (ESSLLI 2023).
Прошла летняя школа «Логика и формальная философия 2023»
Летняя школа «Логика и формальная философия 2023» проходила с 3 по 7 июля в Кочубей-центре и стала уже 3-й по счету летней школой, которую проводит МЛ ЛогЛинФФ.
Началась летняя школа «Логика и формальная философия 2023»
Прошел первый день летней школы «Логика и формальная философия 2023», в которой принимают участие сотрудники МЛ ЛогЛинФФ и друзья лаборатории.
Доклады сотрудников МЛ ЛогЛинФФ на воркшопе «SCAN 2023»
Воркшоп «Semantical and Computational Aspects of Non-Classical Logics» проходит с 13 по 17 июня на базе Математического института им. В. А. Стеклова РАН. Сотрудники МЛ ЛогЛинФФ: Виталий Долгоруков, Иван Пыльцын и Елена Попова представили свои доклады на воркшопе.