Петрухин Ярослав Игоревич - пользователь, сотрудник | ИСТИНА – Интеллектуальная Система Тематического Исследования НАукометрических данных

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

Статьи в журналах
- - 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
- - 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 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 Логика рационального агента с тремя выделенными значениями (Устный)
  - Автор: Петрухин Я.И.
  - XXVI Международная научная конференция студентов, аспирантов и молодых ученых "Ломоносов-2019", МГУ имени М.В.Ломоносова, Россия, 8-12 апреля 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 (Устный)
  - Авторы: Shangin V.O., Petrukhin Y.I.
  - Десятые Смирновские чтения по логике. Международная научная конференция. 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
- - 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 Система натурального вывода для логики бессмысленности 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 часов

ИСТИНА

Интеллектуальная Система Тематического Исследования НАукометрических данных

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

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

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

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

42 статьи, 39 докладов на конференциях, 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

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

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

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

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

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

НИРы

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

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

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

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

	ИСТИНА	Войти в систему Регистрация
	Интеллектуальная Система Тематического Исследования НАукометрических данных
	Главная Поиск Статистика О проекте Помощь