Пыльцын Иван Олегович
- Стажер-исследователь:Международная лаборатория логики, лингвистики и формальной философии
- Начал работать в НИУ ВШЭ в 2024 году.
Публикации2
- Препринт Pyltsyn I. Generalizations of Mezhirov's game semantics to predicate superintuitionistic logics and the Casari formula / Cornell University. Series arXiv "math". 2023. doi
- Глава книги Pyltsyn I. 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.
Информация*
Выступление Ивана Пыльцына на Дне Логики в Университете Иннополис
27 января Иван Пыльцын прочитал доклад «Кратко о сильной эквивалентности арифметики Пеано и теории конечных множеств» на Дне Логики в Университете Иннополис.
Прошел научный семинар в честь Всемирного дня логики
15 января в Международной лаборатории логики, лингвистики и формальной философии состоялся научный семинар, приуроченный ко Всемирному Дню Логики.
Доклад Ивана Пыльцына на семинаре STEP (Software Engineering, Theory and Experimental Programming)
Стажер-исследователь Иван Пыльцын выступил с докладом «First-order Modal and Temporal Logics: State of the art and perspectives» на встрече семинара STEP (Software Engineering, Theory and Experimental Programming), которая прошла 8 декабря.
Доклад Ивана Пыльцына «О сильной эквивалентности арифметики Пеано и теории конечных множеств»
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 июня на базе Математического института им. В. А. Стеклова РАН. Сотрудники МЛ ЛогЛинФФ: Виталий Долгоруков, Иван Пыльцын и Елена Попова представили свои доклады на воркшопе.