Слюсарев Иван Юрьевич

Год и место рождения

22.04.2000, г. Москва

Образование

Московский государственный университет им. М.В.Ломоносова, философский факультет – бакалавриат (2022), магистратура (2024). Специальность – 5.7.5 Логика

Сфера научных интересов

Паранепротиворечивые логики, секвенциальные исчисления, интерполяционное свойство

Профессиональная деятельность

С апреля 2025 г. – младший научный сотрудник сектора логики ИФРАН

Научные публикации

Избранные статьи

Попов В.М. Слюсарев И.Ю. Единственная трехзначная L⊃¬--логика с одним выделенным значением, являющаяся паранормальной и регулярной L⊃¬-логикой с классической
импликацией // Логико-философские штудии, Т. 20, № 4. 2022. С. 396-412.
Слюсарев И. Ю. Интерполяционная теорема Крейга для логики с оператором Руета // Логические исследования / Logical Investigations. 2025. Т. 31. № 2. C. 94-113.
Слюсарев И. Ю. История исследования диалектики Гегеля методами паранепротиворечивых логик // Историко-философский альманах / Гл. ред. В.В. Васильев, отв. ред. А.В. Никандров. Т. 9. - М.: Философский факультет имени М.В. Ломоносова, 2025. С. 87-93.

Конференции

Слюсарев И.Ю. «Display calculi». Конференция «The art and science of logic», Москва, 28-29 апреля 2021 года.
Слюсарев И.Ю. «Замечание об одном методе автоматического доказательства теорем». IX научная конференции студентов, аспирантов и молодых ученых «Философия в XXI веке: новые стратегии философского поиска», Москва, 6-10 декабря 2021 года.
Слюсарев И.Ю. «Замечание об одном дисплейном исчислении для некоторой системы временной логики». Международная конференция студентов, аспирантов и молодых ученых «Ломоносов-2022», Москва, 11-22 апреля 2022 года.
Слюсарев И.Ю. «Введение в классическую и интуиционистскую линейную логику». X научная конференция студентов, аспирантов и молодых ученых "Философия в XXI веке: новые стратегии философского поиска", Москва, 5-9 декабря 2022 года.
Слюсарев И.Ю. «Секвенциальное исчисление для некоторой логики с коннегацией». XXX Международная научная конференция студентов, аспирантов и молодых ученых "Ломоносов 2023", Москва, 10-21 апреля 2023 года.
Слюсарев И.Ю. «О проблеме симуляции отрицаний в паранепротиворечивых и параполных логиках» (совместно с Григорьевым О.М., Беликовым А.А.). Тринадцатые Смирновские чтения по логике, Москва, 22-24 июня 2023 года.
Слюсарев И.Ю. Натуральное исчисление для некоторой логики с коннегацией // сборник статей конференции «Тринадцатые Смирновские чтения по логике». 2023. С. 114-118.
Слюсарев И.Ю. «Секвенциальные исчисления для логик с коннегацией». XXXI Международная конференция студентов, аспирантов и молодых ученых «Ломоносов», Москва, 12-26 апреля 2024 года.
Слюсарев И.Ю. «Модальные логики с нестандартными унарными операторами». XII научная конференция студентов, аспирантов и молодых ученых "Философия в XXI веке: новые стратегии философского поиска", Москва, 9-13 декабря 2024 года.
Слюсарев И.Ю. «О проблеме наличия подлинного отрицания в паранепротиворечивых логиках». Четырнадцатые Смирновские чтения по логике, Москва, 19-21 июня 2025 года.
Слюсарев И.Ю. « Подлинно паранепротиворечивая минимальная логика». XXXII Международная конференция студентов, аспирантов и молодых ученых «Ломоносов», Москва, 11-25 апреля 2025 года.