ИСТИНА

Петрухин Ярослав Игоревич пользователь

МГУ имени М.В. Ломоносова, Философский факультет, Кафедра логики, аспирант, с 1 октября 2018

Прежние места работы (Нажмите для отображения)

Соавторы: Шангин В.О., Григорьев О.М., Leszczyńska-Jasion D., Jukiewicz M., Klonowski M., Pietruszczak A., Zawidzki M., Беликов А.А.

43 статьи, 41 доклад на конференциях, 12 тезисов докладов, 2 НИР, 1 награда, 2 стажировки, 1 членство в программном комитете, 1 учебный курс

Количество цитирований статей в журналах по данным Web of Science: 12, Scopus: 60
РИНЦ:

IstinaResearcherID (IRID): 33923251

ResearcherID: P-8016-2018

Scopus Author ID: 57194190896

ORCID: 0000-0002-7731-1339

Деятельность

---

• Статьи в журналах

  • 
    • 2021 Correspondence Analysis for Some Fragments of Classical Propositional Logic
    • Petrukhin Yaroslav, Shangin Vasilyi
    • в журнале Logica Universalis, издательство Springer Verlag (Germany), том 15, № 1, с. 67-85 DOI
  • 
    • 2021 Modal multilattice logics with Tarski, Kuratowski, and Halmos operators
    • Grigoriev Oleg, Petrukhin Yaroslav
    • в журнале Logic and Logical Philosophy DOI
  • • 2021 The Logic of Internal Rational Agent
    • Petrukhin Yaroslav
    • в журнале AUSTRALASIAN JOURNAL OF LOGIC, том 18, № 2, с. 29-50
  • 
    • 2020 Axiomatization of non-associative generalisations of Hájek's BL and psBL
    • Petrukhin Yaroslav
    • в журнале Journal of Applied Non-classical logics, том 30, № 1, с. 1-15 DOI
  • 
    • 2020 Correction
    • Alex Belikov, Yaroslav Petrukhin
    • в журнале Journal of Applied Non-classical logics, том 30, № 2, с. I-II DOI
  • 
    • 2020 Correspondence analysis and automated proof-searching for first degree entailment
    • Petrukhin Yaroslav, Shangin Vasily
    • в журнале European Journal of Mathematics, том 6, № 4, с. 1452-1495 DOI
  • 
    • 2020 Exactly true and non-falsity logics meeting infectious ones
    • Alex Belikov, Yaroslav Petrukhin
    • в журнале Journal of Applied Non-classical logics, том 30, № 2, с. 93-122 DOI
  • 
    • 2020 Simplified Kripke-Style Semantics for Some Normal Modal Logics
    • Pietruszczak Andrzej, Klonowski Mateusz, Petrukhin Yaroslav
    • в журнале Studia Logica, издательство Springer Nature (Switzerland), том 108, № 3, с. 451-476 DOI
  • 
    • 2019 Automated Proof-searching for Strong Kleene Logic and its Binary Extensions via Correspondence Analysis
    • Petrukhin Yaroslav, Shangin Vasilyi
    • в журнале Logic and Logical Philosophy, том 28, № 2, с. 223-257 DOI
  • 
    • 2019 Deduction Normalization Theorem for Sette’s Logic and Its Modifications
    • Petrukhin Ya I.
    • в журнале Moscow University Mathematics Bulletin, издательство Allerton Press Inc. (United States), том 74, № 1, с. 25-31 DOI
  • 
    • 2019 From Simplified Kripke-Style Semantics to Simplified Analytic Tableaux for Some Normal Modal Logics
    • Yaroslav Petrukhin, Michał Zawidzki
    • в журнале Lecture Notes in Computer Science, том 11946, с. 116-131 DOI
  • 
    • 2019 Functional Completeness in CPL via Correspondence Analysis
    • Leszczyńska-Jasion Dorota, Petrukhin Yaroslav, Shangin Vasilyi, Jukiewicz Marcin
    • в журнале Bulletin of the section of logic, том 48, № 1, с. 45-76 DOI
  • 
    • 2019 On Vidal's trivalent explanations for defective conditional in mathematics
    • Petrukhin Yaroslav, Shangin Vasily
    • в журнале Journal of Applied Non-classical logics, том 29, № 1, с. 64-77 DOI
  • 
    • 2019 On a multilattice analogue of a hypersequent S5 calculus
    • Grigoriev Oleg, Petrukhin Yaroslav
    • в журнале Logic and Logical Philosophy, том 28, № 4, с. 683-730 DOI
  • 
    • 2019 The Method of Socratic Proofs Meets Correspondence Analysis
    • Leszczyńska-Jasion Dorota, Petrukhin Yaroslav, Shangin Vasilyi
    • в журнале Bulletin of the section of logic, том 48, № 2, с. 99-116 DOI
  • 
    • 2019 Two proofs of the algebraic completeness theorem for multilattice logic
    • Grigoriev Oleg, Petrukhin Yaroslav
    • в журнале Journal of Applied Non-classical logics, том 29, № 4, с. 358-381 DOI
  • • 2019 Натуральное исчисление для логики с операторами истинности и ложности
    • Петрухин Я.И.
    • в журнале Вестник Московского университета. Серия 7: Философия, издательство Изд-во Моск. ун-та (М.), № 6, с. 112-124
  • • 2019 Теорема о нормализации выводов для логики Сетте и ее модификаций
    • Петрухин Я.И.
    • в журнале Вестник Московского университета. Серия 1: Математика. Механика, издательство Изд-во Моск. ун-та (М.), № 1, с. 26-33
  • 
    • 2018 Generalized Correspondence Analysis for Three-Valued Logics
    • Petrukhin Yaroslav
    • в журнале Logica Universalis, издательство Springer Verlag (Germany), том 12, № 3-4, с. 423-460 DOI
  • 
    • 2018 Natural Deduction for Four-Valued both Regular and Monotonic Logics
    • Petrukhin Yaroslav
    • в журнале Logic and Logical Philosophy, том 27, № 1, с. 53-66 DOI
  • 
    • 2018 Natural Deduction for Post’s Logics and their Duals
    • Petrukhin Yaroslav
    • в журнале Logica Universalis, издательство Springer Verlag (Germany), том 12, № 1-2, с. 83-100 DOI
  • 
    • 2018 Natural deduction for Kleene’s three- and four-valued logics
    • Petrukhin Yaroslav
    • в журнале Логико-философские штудии, издательство Региональная общественная организация Санкт-Петербургское философское общество (Санкт-Петербург), том 16, № 1-2, с. 116
  • 
    • 2018 Natural deduction rules for Tomova’s natural implications
    • Shangin Vasilyi, Petrukhin Yaroslav
    • в журнале Логико-философские штудии, издательство Региональная общественная организация Санкт-Петербургское философское общество (Санкт-Петербург), том 16, № 1-2, с. 135-136
  • 
    • 2018 Natural three-valued logics characterised by natural deduction
    • Petrukhin Yaroslav, Shangin Vasilyi
    • в журнале Logique et Analyse, издательство Centre National Belge de Recherche de Logique (Belgium), том 61, № 244, с. 407-427 DOI
  • 
    • 2018 Simplified Kripke Style Semantics without Possible Worlds for some Modal Logics
    • Pietruszczak Andrzej, Klonowski Mateusz, Petrukhin Yaroslav
    • в журнале Логико-философские штудии, издательство Региональная общественная организация Санкт-Петербургское философское общество (Санкт-Петербург), том 16, № 1-2, с. 117-118
  • 
    • 2018 The Natural Deduction Systems for the Three-Valued Nonsense Logics Z and E
    • Petrukhin Ya I.
    • в журнале Moscow University Mathematics Bulletin, издательство Allerton Press Inc. (United States), том 73, № 1, с. 30-33 DOI
  • 
    • 2018 Аналитические таблицы для интуиционистского аналога FDE
    • Петрухин Я.И.
    • в журнале Логические исследования, издательство Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук (Москва), том 24, № 2, с. 116-122 DOI
  • 
    • 2018 Натуральные исчисления для некоторых модификаций логик Клини и Данна-Белнапа
    • Петрухин Я.И.
    • в журнале Челябинский физико-математический журнал, том 3, № 4, с. 438-452 DOI
  • • 2018 Натуральные исчисления для трехзначных логик бессмысленности Z и E
    • Петрухин Я.И.
    • в журнале Вестник Московского университета. Серия 1: Математика. Механика, издательство Изд-во Моск. ун-та (М.), № 1, с. 60-63
  • 
    • 2017 Automated Correspondence Analysis for the Binary Extensions of the Logic of Paradox
    • Petrukhin Yaroslav, Shangin Vasily
    • в журнале Review of Symbolic Logic, с. 1-26 DOI
  • 
    • 2017 Natural Deduction for Fitting’s Four-Valued Generalizations of Kleene’s Logics
    • Petrukhin Yaroslav I.
    • в журнале Logica Universalis, издательство Springer Verlag (Germany), том 11, № 4, с. 525-532 DOI
  • 
    • 2017 Natural Deduction for Three-Valued Regular Logics
    • Petrukhin Yaroslav
    • в журнале Logic and Logical Philosophy, том 26, № 2, с. 197-206 DOI
  • 
    • 2017 Natural deduction system for three-valued Heyting’s logic
    • Petrukhin Ya I.
    • в журнале Moscow University Mathematics Bulletin, издательство Allerton Press Inc. (United States), том 72, № 3, с. 133-136 DOI
  • • 2017 Корреспондентский анализ для паранепротиворечивой слабой логики Клини
    • Петрухин Я.И., Шангин В.О.
    • в журнале Вестник Московского университета. Серия 7: Философия, издательство Изд-во Моск. ун-та (М.), № 6, с. 52-62
  • 
    • 2017 Натуральное исчисление для логики Юрьева
    • Петрухин Я.И.
    • в журнале Челябинский физико-математический журнал, том 2, № 1, с. 46-52
  • • 2017 Система натурального вывода для трехзначной логики Гейтинга
    • Петрухин Я.И.
    • в журнале Вестник Московского университета. Серия 1: Математика. Механика, издательство Изд-во Моск. ун-та (М.), № 3, с. 63-66
  • 
    • 2017 Соrrespondence analysis for logic of rational agent
    • Petrukhin Y.I.
    • в журнале Челябинский физико-математический журнал, том 2, № 3, с. 329-337
  • 
    • 2016 Correspondence analysis for first degree entailment
    • Petrukhin Yaroslav
    • в журнале Логические исследования, издательство Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук (Москва), том 22, № 1, с. 108-124 DOI
  • • 2016 Аналитико-табличная формализация интуиционистского варианта логики первоуровнего следования
    • Петрухин Я.И.
    • в журнале Логико-философские исследования, том 7, с. 153-161

• Статьи в сборниках

  • • 2020 Cut-free hypersequent calculi for the logics with non-standard S5-style modalities (short paper)
    • Petrukhin Yaroslav
    • в сборнике Advances in Modal Logic, серия Advances in Modal Logic, место издания College Publications London, том 13, с. 70-74
  • • 2020 Ещё одно обобщение корреспондентского анализа для трёхзначных логик
    • Петрухин Я.И.
    • в сборнике Сборник научных статей по итогам Второго Международного Конгресса Русского общества истории и философии науки «Наука как общественное благо», место издания Издательство РОИФН Москва, том 4, с. 232-236
  • • 2020 Обобщённый корреспондентский анализ для четырёхзначных логик с отрицаниями де Моргана и Буля
    • Петрухин Я.И.
    • в сборнике Восьмой Российский Философский Конгресс - «Философия в полицентричном мире». Секции (I). Сборник научных статей, серия ‘congressus’, издательство Логос (М.), том 1, с. 214-216
  • • 2018 Аналитические таблицы для интуиционистского аналога FDE
    • Петрухин Я.И.
    • в сборнике Первый Конгресс Русского общества истории и философии науки "История и философия науки в эпоху перемен": сборник научных статей / Научн. ред. и сост. И.Т. Касавина и др. В 6 томах, место издания Изд-во «Русское общество истории и философии науки» Москва, том 1, с. 73-75

• Доклады на конференциях

  • • 2021 Post's Logics in Natural Deduction Setting (Устный)
    • Автор: Petrukhin Yaroslav
    • The art and science of logic, Москва, Россия, 28-29 апреля 2021
  • • 2021 Недетминированные матрицы и секвенциальные исчисления (Устный)
    • Авторы: Григорьев О.М., Петрухин Я.И.
    • Ломоносовские чтения - 2021, секция "Философские науки", МГУ имени М.В. Ломоносова, философский факультет, Россия, 20-29 апреля 2021
  • • 2021 Deduction normalization theorem for some three-valued logics (Устный)
    • Автор: Petrukhin Yaroslav
    • The 22nd annual Graduate Student Conference in Logic, Urbana-Champaign (online), США, 20-21 марта 2021
  • • 2020 Sequent calculus for the infinitely-valued generalization of the three-valued logic PCont (Устный)
    • Автор: Petrukhin Yaroslav
    • XI Łódzkie Warsztaty Filozoficzne „Nie-Skończoność”, Лодзь, Польша, 11-13 декабря 2020
  • • 2020 Ещё одно обобщение корреспондентского анализа для трёхзначных логик (Устный)
    • Автор: Петрухин Я.И.
    • ВТОРОЙ МЕЖДУНАРОДНЫЙ КОНГРЕСС РУССКОГО ОБЩЕСТВА ИСТОРИИ И ФИЛОСОФИИ НАУКИ НАУКА КАК ОБЩЕСТВЕННОЕ БЛАГО, Санкт Петербург, Россия, 27-29 ноября 2020
  • • 2020 Cut-free hypersequent calculus for a non-contingency S5 logic (Устный)
    • Автор: Petrukhin Yaroslav
    • Formal Philosophy 2020, Москва, Россия, 16-18 ноября 2020
  • • 2020 Basic Modal Congruent and Monotonic Multilattice logics (Устный)
    • Авторы: Grigoriev Oleg, Petrukhin Yaroslav
    • 3rd DaLi Workshop. Dynamic Logic: New Trends and Applications, Прага (онлайн), Чехия, 9-10 октября 2020
  • • 2020 Two three-valued logics inspired by dependence ones (Устный)
    • Автор: Petrukhin Yaroslav
    • 1st Workshop On Relating Logic, Торунь (онлайн), Польша, 25-26 сентября 2020
  • • 2020 Cut-free hypersequent calculi for the logics with non-standard S5-style modalities (Устный)
    • Автор: Petrukhin Yaroslav
    • Advances in Modal Logic (AiML 2020), Helsinki, Финляндия, 24-28 августа 2020
  • • 2020 Natural deduction systems for some nonsense logics (Устный)
    • Автор: Yaroslav Petrukhin
    • X Łódzkie Warsztaty Filozoficzne „Sens i Bezsens”, Лодзь, Польша, 11-13 января 2020
  • • 2019 From Simplified Kripke-Style Semantics to Simplified Analytic Tableaux for Some Normal Modal Logics (Устный)
    • Авторы: Yaroslav Petrukhin, Michał Zawidzki
    • The 18th International Conference of the Italian Association for Artificial Intelligence (AIIA 2019), Калабрия, Италия, 19-22 ноября 2019
  • • 2019 Dual Logic of Rational Agent and its Modal Extensions (Устный)
    • Автор: Yaroslav Petrukhin
    • The 8th International Workshop on Many-Valued Logic ManyVal 2019, Бухарест, Румыния, 1-3 ноября 2019
  • • 2019 Exactly true and non-falsity versions of one relevant logic (Устный)
    • Авторы: Alex Belikov, Yaroslav Petrukhin
    • Trends in Logic 19: Current Issues in Philosophical Logic, Национальный исследовательский университет Высшая школа экономики (НИУ ВШЭ), Москва, Россия, 2-4 октября 2019
  • • 2019 On a multilattice version of the relevant logic R (Устный)
    • Авторы: Oleg Grigoriev, Yaroslav Petrukhin
    • Trends in Logic 19: Current Issues in Philosophical Logic, Национальный исследовательский университет Высшая школа экономики (НИУ ВШЭ), Москва, Россия, 2-4 октября 2019
  • • 2019 On an epistemic version of the principle ``ignorantia legis non excusat'' (Устный)
    • Автор: Yaroslav Petrukhin
    • Trends in Logic 19: Current Issues in Philosophical Logic, Национальный исследовательский университет Высшая школа экономики (НИУ ВШЭ), Москва, Россия, 2-4 октября 2019
  • • 2019 Exactly true and non-falsity versions of one nonsense logic (Устный)
    • Авторы: Yaroslav Petrukhin, Alex Belikov
    • International Conference "Formal Philosophy 2019" 27-28 June Moscow, Высшая школа экономики, Россия, 27-28 июня 2019
  • • 2019 Tomova's natural logics in proof-theoretical setting (Устный)
    • Авторы: Vasilyi Shangin, Yaroslav Petrukhin
    • International Conference "Formal Philosophy 2019" 27-28 June Moscow, Высшая школа экономики, Россия, 27-28 июня 2019
  • • 2019 On a multilattice version of S5 (Устный)
    • Авторы: Petrukhin Y.I., Grigoriev O.M.
    • Одиннадцатые Смирновские чтения по логике. Международная научная конференция. 19-21 июня 2019 года, Философский факультет, МГУ имени М. В. Ломоносова, Россия, 19-21 июня 2019
  • • 2019 Socratic proofs in correspondence analysis framework (Устный)
    • Авторы: Leszczyńska-Jasion D., Jukiewicz M., Shangin V.O., Petrukhin Y.I.
    • Одиннадцатые Смирновские чтения по логике. Международная научная конференция. 19-21 июня 2019 года, Философский факультет, МГУ имени М. В. Ломоносова, Россия, 19-21 июня 2019
  • • 2019 Dual Logic of Rational Agent (Устный)
    • Автор: Petrukhin Yaroslav
    • 24th Conference Applications of Logic in Philosophy and the Foundations of Mathematics, Szklarska Poręba, Польша, 13-17 мая 2019
  • • 2019 Refined Tableau Calculi for Modal Logics with Simplified Semantics (Устный)
    • Авторы: Petrukhin Yaroslav, Zawidzki Michał
    • 24th Conference Applications of Logic in Philosophy and the Foundations of Mathematics, Szklarska Poręba, Польша, 13-17 мая 2019
  • • 2019 Логика рационального агента с тремя выделенными значениями (Устный)
    • Автор: Петрухин Я.И.
    • Международная научная конференция студентов, аспирантов и молодых учёных «Ломоносов-2019», Москва, Россия, 11 апреля 2019
  • • 2018 Аналитические таблицы для интуиционистской версии FDE (Устный)
    • Автор: Петрухин Я.И.
    • 7-я ежегодная научная конференция студентов, аспирантов и молодых ученых "Философия в XXI веке: новые стратегии философского поиска-2018", МГУ имени М.В. Ломоносова, философский факультет, Россия, 3-8 декабря 2018
  • • 2018 Uproszczona semantyka Kripkego dla normalnych rozszerzeń logik K45, KB4, KD45 i S5 (Устный)
    • Авторы: Andrzej Pietruszczak, Yaroslav Petrukhin, Mateusz Klonowski
    • X Jesienna Konferencja Logiki. Logiki filozoficzne, Lublin, Польша, 27 ноября 2018
  • • 2018 Post's Logics in Natural Deduction Framework (Устный)
    • Автор: Petrukhin Yaroslav
    • Formal Philosophy: The 1st International Conference, Национальный исследовательский университет Высшая школа экономики, Россия, 1-2 октября 2018
  • • 2018 Аналитические таблицы для интуиционистского аналога FDE (Устный)
    • Автор: Петрухин Я.И.
    • Первый Конгресс Русского общества истории и философии науки: «История и философия науки в эпоху перемен», Институт философии РАН, Россия, 14-16 сентября 2018
  • • 2018 Natural deduction for regular three-valued logics and their four-valued analogues (Приглашенный)
    • Автор: Petrukhin Yaroslav
    • 6th World Congress and School on Universal Logic, Виши, Франция, 16-26 июня 2018
  • • 2018 Natural deduction for Kleene's three- and four-valued logics (Пленарный)
    • Автор: Petrukhin Yaroslav
    • XIII международная конференция "Современная логика: проблемы и перспективы", Санкт-Петербург, Россия, 31 мая - 2 июня 2018
  • • 2018 Natural deduction rules for Tomova's natural implications (Устный)
    • Авторы: Shangin Vasilyi, Petrukhin Yaroslav
    • XIII международная конференция "Современная логика: проблемы и перспективы", Санкт-Петербург, Россия, 31 мая - 2 июня 2018
  • • 2018 Simplified Kripke style semantics without possible worlds for some modal logics (Устный)
    • Авторы: Pietruszczak Andrzej, Petrukhin Yaroslav, Klonowski Mateusz
    • XIII международная конференция "Современная логика: проблемы и перспективы", Санкт-Петербург, Россия, 31 мая - 2 июня 2018
  • • 2018 Об одной проблеме, поставленной М. Видалем (Устный)
    • Авторы: Шангин В.О., Петрухин Я.И.
    • IX международная конференция "Способы мысли, пути говорения", Национальный исследовательский университет «Высшая школа экономики» Школа философии ФГН НИУ ВШЭ, Россия, 26-30 апреля 2018
  • • 2018 Об аксиоматизации двух модификаций базовой нечёткой логики Хайека (Устный)
    • Автор: Петрухин Я.И.
    • XXV Международная научная конференция студентов, аспирантов и молодых ученых «Ломоносов-2018». Секция «Иностранные языки и регионоведение», Московский Государственный Университет имени М.В.Ломоносова, Россия, 9-13 апреля 2018
  • • 2017 Об аксиоматизации одной нечёткой логики с неассоциативной конъюнкцией и её некоммутативного обобщения (Устный)
    • Автор: Петрухин Я.И.
    • 6-я ежегодная научная конференция студентов, аспирантов и молодых ученых "Философия в XXI веке: новые стратегии философского поиска-2017", МГУ имени М.В. Ломоносова, философский факультет, Россия, 4-8 декабря 2017
  • • 2017 Completeness via Correspondence for Extensions of Paraconsistent Weak Kleene Logic (Устный)
    • Авторы: Petrukhin Y.I., Shangin V.O.
    • Десятые Смирновские чтения по логике. Международная научная конференция. 15-17 июня 2017 года, Философский факультет, МГУ имени М. В. Ломоносова, Россия, 15-17 июня 2017
  • • 2017 Система натурального вывода для логики бессмысленности Z (Устный)
    • Автор: Петрухин Я.И.
    • Десятые Смирновские чтения по логике. Международная научная конференция. 15-17 июня 2017 года, Философский факультет, МГУ имени М. В. Ломоносова, Россия, 15-17 июня 2017
  • • 2017 Completeness via Correspondence for Extensions of First Degree Entailment Supplied with Classical Negation (Устный)
    • Автор: Petrukhin Yaroslav
    • PhDs in Logic IX, Bochum, Германия, 2-4 мая 2017
  • • 2017 Об одной паранепротиворечивой модификации логики Гёделя-Даммита (Устный)
    • Автор: Петрухин Я.И.
    • XXIV Международная научная конференция студентов, аспирантов и молодых ученых "Ломоносов – 2017", МГУ имени М.В.Ломоносова, Россия, 20 апреля 2017
  • • 2016 Натуральные исчисления для некоторых фрагментов сильной логики Клини (Устный)
    • Автор: Петрухин Я.И.
    • 5 ежегодная конференция студентов, аспирантов и молодых ученых "Философия в XXI веке: новые стратегии философского поиска", МГУ имени М.В.Ломоносова, философский факультет, Россия, 5-9 декабря 2016
  • • 2016 Натуральное исчисление для логики Гейтинга (Устный)
    • Автор: Петрухин Я.И.
    • Международная научная конференция студентов, аспирантов и молодых ученых «Ломоносов-2016», МГУ им. М.В. Ломоносова , Россия, 11-15 апреля 2016
  • • 2015 Система натурального вывода для логики с операторами истинности и ложности (Устный)
    • Автор: Петрухин Я.И.
    • Философия в XXI веке: новые стратегии философского поиска, Философский факультет МГУ имени М.В.Ломоносова, Россия, 1-4 декабря 2015
  • • 2015 Аксиоматизация расширений логики Данна-Белнапа (Устный)
    • Автор: Петрухин Я.И.
    • XXII Международная научная конференция студентов, аспирантов и молодых учёных «Ломоносов-2015», Москва, Россия, 13-17 апреля 2015

• Тезисы докладов

  • • 2019 Dual Logic of Rational Agent
    • Petrukhin Yaroslav
    • в сборнике XXIV Conference Applications of Logic in Philosophy and the Foundations of Mathematics, место издания Department of Logic and Methodology of Sciences, University of Wrocław Wrocław, тезисы, с. 25-26
  • • 2019 On a multilattice version of S5
    • Grigoriev O.M., Petrukhin Y.I.
    • в сборнике Одиннадцатые Смирновские чтения по логике. Материалы Международной научной конференции. 19-21 июня 2019 года, серия Смирновские чтения по логике, место издания Современные тетради, Москва, тезисы, с. 14-16
  • • 2019 Refined Tableau Calculi for Modal Logics with Simplified Semantics
    • Zawidzki Michał, Petrukhin Yaroslav
    • в сборнике XXIV Conference Applications of Logic in Philosophy and the Foundations of Mathematics, место издания Department of Logic and Methodology of Sciences, University of Wrocław Wrocław, тезисы, с. 38-39
  • • 2019 Socratic proofs in correspondence analysis framework
    • Leszczyńska-Jasion D., Petrukhin Y.I., Shangin V.O., Jukiewicz M.
    • в сборнике Одиннадцатые Смирновские чтения по логике. Материалы Международной научной конференции. 19-21 июня 2019 года, серия Смирновские чтения по логике, место издания Современные тетради, Москва, тезисы, с. 65-66
  • • 2018 Natural Deduction for Regular Three-Valued Logics and their Four-Valued Analogues
    • Petrukhin Yaroslav
    • в сборнике Handbook of the 6th World Congress and School on Universal Logic, место издания Service Reprographie - Université Clermont Auvergne Vichy, тезисы, с. 602
  • • 2018 Об аксиоматизации двух модификаций базовой нечёткой логики Хайека
    • Петрухин Я.И.
    • в сборнике Материалы Международного молодежного научного форума «Ломоносов-2018» / Отв. ред. И.А. Алешковский, А.В. Андриянов, Е.А. Антипов. [Электронный ресурс], серия Химия, издательство ООО "МАКС Пресс" (Москва), том 1, тезисы
  • • 2017 Completeness via Correspondence for Extensions of First Degree Entailment Supplied with Classical Negation
    • Petrukhin Yaroslav
    • в сборнике PhDs in Logic IX. Program and Abstracts, тезисы, с. 55-56
  • • 2017 Completeness via Correspondence for Extensions of Paraconsistent Weak Kleene Logic
    • Petrukhin Y.I., Shangin V.O.
    • в сборнике Десятые Смирновские чтения по логике. Материалы Международной научной конференции. 15-17 июня 2017 года, серия Смирновские чтения по логике, издательство Изд-во Моск. ун-та (М.), тезисы, с. 114-115
    • редакторы Герасимова Ирина Алексеевна, Григорьев Олег Михайлович, Зайцев Дмитрий Владимирович, Ивлев Юрий Васильевич, Маркин Владимир Ильич, Шалак Владимир Иванович
  • • 2017 Об одной паранепротиворечивой модификации логики Гёделя-Даммита
    • Петрухин Я.И.
    • в сборнике Материалы Международного молодежного научного форума «ЛОМОНОСОВ-2017» / Отв. ред. И.А. Алешковский, А.В. Андриянов, Е.А. Антипов. [Электронный ресурс] — М.: МАКС Пресс, 2017. — 1 электрон. опт. диск (DVD-ROM); 12 см. ISBN 978-5-317-05504-2, тезисы
  • • 2017 Система натурального вывода для логики бессмысленности Z
    • Петрухин Я.И.
    • в сборнике Десятые Смирновские чтения по логике. Материалы Международной научной конференции. 15-17 июня 2017 года, серия Смирновские чтения по логике, издательство Изд-во Моск. ун-та (М.), тезисы, с. 112-114
    • редакторы Герасимова Ирина Алексеевна, Григорьев Олег Михайлович, Зайцев Дмитрий Владимирович, Ивлев Юрий Васильевич, Маркин Владимир Ильич, Шалак Владимир Иванович
  • • 2016 Натуральное исчисление для логики Гейтинга
    • Петрухин Я.И.
    • в сборнике Материалы Международного молодежного научного форума «ЛОМОНОСОВ-2016» / Отв. ред. И.А. Алешковский, А.В. Андриянов, Е.А. Антипов. [Электронный ресурс] — М.: МАКС Пресс, 2016. — 1 электрон. опт. диск (DVD-ROM); 12 см. ISBN 978-5-317-05237-9, место издания МАКС Пресс Москва, тезисы
  • • 2015 Аксиоматизация расширений логики Данна-Белнапа
    • Петрухин Я.И.
    • в сборнике Материалы Международного молодежного научного форума «ЛОМОНОСОВ-2015» / Отв. ред. А.И. Андреев, А.В. Андриянов, Е.А. Антипов. [Электронный ресурс], место издания МАКС Пресс Москва, тезисы

• НИРы

  • • 1 января 2020 - 31 декабря 2022 Дедуктивные свойства многозначных логик обобщенных истинностных значений
    • Автономная некоммерческая организация "Институт логики, когнитологии и развития личности"
    • Руководитель: Шангин В.О. Ответственные исполнители: Беликов А.А., Григорьев О.М., Петрухин Я.И.
  • • 1 января 2016 - 31 декабря 2018 Неклассические логики и их применение в философии и методологии науки
    • Философский факультет
    • Руководитель: Маркин В.И. Участники НИР: Зайцев Д.В., Ивлев Ю.В., Ильин А.А., Петрухин Я.И., Попов В.М., Шангин В.О.

• Награды и премии

  • • 2018 Российская логическая премия имени Н.А. Васильева
    • Лауреат: Петрухин Я.И.

• Стажировки в организациях

  • • 25 января 2019 - 18 июня 2019 Uniwersytet Łódzki, Польша
  • • 1 октября 2017 - 30 ноября 2017 Uniwersytet Mikołaja Kopernika w Toruniu, Польша

• Участие в программных комитетах конференций

  • • 11-13 декабря 2020 XI Łódzkie Warsztaty Filozoficzne „Nie-Skończoność”
    • Член организационного комитета
    • Лодзь, Польша

• Преподавание учебных курсов

  • • 27 сентября 2018 - 13 декабря 2018 Логика
    • МГУ имени М.В. Ломоносова, Юридический факультет
    • обязательная, базовой части, семинары, 16 часов

---