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

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

22.04.2000, г. Москва

Образование

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

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

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

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

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

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

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

Попов В.М. Слюсарев И.Ю. Единственная трехзначная L⊃¬--логика с одним выделенным значением, являющаяся паранормальной и регулярной L⊃¬-логикой с классической
импликацией // Логико-философские штудии, Т. 20, № 4. 2022. С. 396-412.
Григорьев О.М., Беликов А.А., Слюсарев И.Ю. О проблеме симуляции отрицаний в паранепротиворечивых и параполных логиках // сборник статей конференции «Тринадцатые
Смирновские чтения по логике». 2023. С. 66-69.
Слюсарев И.Ю. Натуральное исчисление для некоторой логики с коннегацией // сборник статей конференции «Тринадцатые Смирновские чтения по логике». 2023. С. 114-118.
Слюсарев И.Ю. Введение в классическую и интуиционистскую линейную логику // сборникстатей конференции «Философия в XXI веке: новые стратегии философского поиска». 2024. С. 174-187.
Слюсарев И.Ю. О проблеме наличия подлинного отрицания в паранепротиворечивых логиках // сборник статей конференции «Четырнадцатые Смирновские чтения по логике». 2025. С. 109-111.

Конференции

Слюсарев И.Ю. «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 года.
Слюсарев И.Ю. «Секвенциальные исчисления для логик с коннегацией». XXXI Международная конференция студентов, аспирантов и молодых ученых «Ломоносов», Москва, 12-26 апреля 2024 года.
Слюсарев И.Ю. «Модальные логики с нестандартными унарными операторами». XII научная конференция студентов, аспирантов и молодых ученых "Философия в XXI веке: новые стратегии философского поиска", Москва, 9-13 декабря 2024 года.
Слюсарев И.Ю. «О проблеме наличия подлинного отрицания в паранепротиворечивых логиках». Четырнадцатые Смирновские чтения по логике, Москва, 19-21 июня 2025 года.