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

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

Статьи в журналах
- - 2022 Basic modal congruent and monotonic multilattice logics
  - Grigoriev Oleg, Petrukhin Yaroslav
  - в журнале Journal of Logic and Computation, издательство Oxford University Press (United Kingdom) DOI
- - 2022 Non-transitive Correspondence Analysis
  - Petrukhin Yaroslav, Shangin Vasily
  - в журнале Journal of Logic, Language and Information, издательство Springer Nature (Switzerland) DOI
- - 2022 S5-Style Non-Standard Modalities in a Hypersequent Framework
  - Petrukhin Yaroslav
  - в журнале Logic and Logical Philosophy, том 31, № 3, с. 427-456 DOI
- - 2022 Towards Relevant Multilattice Logic
  - Grigoriev O.M., Petrukhin Y.I.
  - в журнале Интеллектуальные системы. Теория и приложения (ранее: Интеллектуальные системы по 2014, № 2, ISSN 2075-9460), издательство [б.и.] (М.), том 26, № 1, с. 407-410
- - 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, том 30, № 3, с. 385-415 DOI
- - 2021 Normalisation for Some Quite Interesting Many-Valued Logics
  - Kürbis Nils, Petrukhin Yaroslav
  - в журнале Logic and Logical Philosophy, том 30, № 3, с. 493-534 DOI
- - 2021 The Logic of Internal Rational Agent
  - Petrukhin Yaroslav
  - в журнале AUSTRALASIAN JOURNAL OF LOGIC, том 18, № 2, с. 29-50 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, издательство Springer Nature (Switzerland), том 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

Статьи в сборниках
- - 2022 Normalisation for Some Infectious Logics and Their Relatives
  - Petrukhin Yaroslav
  - в сборнике In Andrzej Indrzejczak and Michał Zawidzki: Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications (NCL 2022), Łódź, Poland, 14-18 March 2022, серия Electronic Proceedings in Theoretical Computer Science, том 358, с. 12-24 DOI
- - 2022 О логике атомарных транзакций Радского
  - Шангин В.О., Петрухин Я.И.
  - в сборнике Третий Международный Конгресс Русского общества истории и философии науки «ПОСЛЕ ПОСТПОЗИТИВИЗМА», место издания РОИФН Москва, с. 504-508
- - 2021 Normalisation for the logic of paradox and its relatives
  - Kürbis N., Petrukhin Y.I.
  - в сборнике Двенадцатые Смирновские чтения: материалы Международной научной конференции, Москва, 24–26 июня 2021 г, место издания «Русское общество истории и философии науки» Москва, с. 105-108
- - 2021 On a paracomplete discussive logic
  - Mruczek-Nasieniewska K., Petrukhin Y.I., Shangin V.O.
  - в сборнике Двенадцатые Смирновские чтения: материалы Международной научной конференции, Москва, 24–26 июня 2021 г, место издания «Русское общество истории и философии науки» Москва, с. 131-133
- - 2021 On the application of bisequents to many-valued logics
  - Indrzejczak A., Petrukhin Y.I.
  - в сборнике Двенадцатые Смирновские чтения: материалы Международной научной конференции, Москва, 24–26 июня 2021 г, место издания «Русское общество истории и философии науки» Москва, с. 19-22
- - 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

Доклады на конференциях
- - 2022 Paraconsistent versions of Visser's logics (Устный)
  - Автор: Petrukhin Yaroslav
  - Formal Philosophy 2022, НИУ ВШЭ, Россия, 31 октября - 3 ноября 2022
- - 2022 Cut-free hypersequent calculus for a non-contingency version of S5 (Устный)
  - Автор: Petrukhin Yaroslav
  - Formal Reasoning and Semantics - FORMALS 2022, Dubrovnik, Хорватия, 26-29 сентября 2022
- - 2022 Bisequent calculi for paraconsistent three-valued logics (Устный)
  - Авторы: Indrzejczak Andrzej, Petrukhin Yaroslav
  - The Sixth World Congress of Paraconsistency - The Second Stanisław Jaśkowski Memorial Symposium, Toruń, Польша, 5-8 сентября 2022
- - 2022 Normalisation for the logic of paradox and some its extensions (Устный)
  - Авторы: Kürbis Nils, Petrukhin Yaroslav
  - The Sixth World Congress of Paraconsistency - The Second Stanisław Jaśkowski Memorial Symposium, Toruń, Польша, 5-8 сентября 2022
- - 2022 Algebraic Completeness of Bi-intuitionistic Multilattice Logic (Устный)
  - Автор: Petrukhin Yaroslav
  - 25th Conference Applications of Logic in Philosophy and the Foundations of Mathematics, Wroclaw (online), Польша, 12-13 мая 2022
- - 2022 A valuation semantics for some modal logics (Устный)
  - Авторы: Pietruszczak Andrzej, Klonowski Mateusz, Petrukhin Yaroslav
  - UNILOG 2022 7th World Congress and School on Universal Logic, Kolympari, Греция, 6-11 апреля 2022
- - 2022 Normalisation for some infectious logics and their relatives (Устный)
  - Автор: Petrukhin Yaroslav
  - 10th International Conference NCL'22: Non-classsical logics. Theory and applications 2022, Лодзь, Польша, 14-18 марта 2022
- - 2022 On Embedding of D2 into the Minimal Discussive Logic (Устный)
  - Авторы: Grigoriev Oleg, Mruczek-Nasieniewska Krystyna, Nasieniewski Marek, Petrukhin Yaroslav, Shangin Vasilyi
  - 10th International Conference NCL'22: Non-classsical logics. Theory and applications 2022, Лодзь, Польша, 14-18 марта 2022
- - 2022 Нормализация выводов для некоторых многозначных логик (Приглашенный)
  - Автор: Петрухин Я.И.
  - Международная научная конференция «Философия перед лицом новых цивилизационных вызовов», приуроченная к 80-летию воссоздания философского факультета в структуре МГУ имени М.В. Ломоносова, МГУ имени М.В. Ломоносова, Россия, 4-5 февраля 2022
- - 2022 Proof-theoretical characterization of (non)contingency, essence, and accidence (Устный)
  - Автор: Petrukhin Yaroslav
  - Światowy Dzień Logiki 2022, Лодзь, Познань, Вроцлав (онлайн), Польша, 13-14 января 2022
- - 2021 Algebraic completeness of connexive multilattice logic (Устный)
  - Автор: Petrukhin Yaroslav
  - Trends In Logic XXI: Frontiers of Connexive Logic, Бохум, Германия, 6-8 декабря 2021
- - 2021 На пути к релевантной мультирешеточной логике (Устный)
  - Авторы: Григорьев О.М., Петрухин Я.И.
  - XII Международная научная конференция «Интеллектуальные системы и компьютерные науки», Москва, МГУ имени М.В. Ломоносова, Россия, 29 ноября - 3 декабря 2021
- - 2021 Three-valued logics in bisequent framework (Устный)
  - Авторы: Indrzejczak Andrzej, Petrukhin Yaroslav
  - LXVII Konferencja Historii Logiki, Краков (онлайн), Польша, 3-4 ноября 2021
- - 2021 Normalisation for some infectious logics with non-standard disjunction elimination rules (Устный)
  - Автор: Petrukhin Yaroslav
  - Formal Reasoning and Semantics - FORMALS 2021, Дубровник (онлайн), Хорватия, 20-24 сентября 2021
- - 2021 Cut-free Hypersequent Calculus for an Essence S5 Logic (Устный)
  - Автор: Petrukhin Yaroslav
  - PhDs in Logic XII, Freie Universität Berlin, Германия, 8-10 сентября 2021
- - 2021 Cut-free proof systems for non-standard modal logics based on S5 (Устный)
  - Автор: Petrukhin Yaroslav
  - Logic Colloquium 2021, Познань (онлайн), Польша, 19-24 июля 2021
- - 2021 Natural deduction and normalisation for three- and four-valued Kleene-style logics (Приглашенный)
  - Автор: Petrukhin Yaroslav
  - Łódź-Bochum Workshop, Лодзь, Бохум (онлайн), Германия, 2-3 июля 2021
- - 2021 Normalisation for the logic of paradox and its relatives (Устный)
  - Авторы: Kürbis Nils, Petrukhin Yaroslav
  - Двенадцатые Смирновские чтения по логике. Международная научная конференция. 24-26 июня 2021 года, Философский факультет, МГУ имени М. В. Ломоносова, Россия, Россия, 24-26 июня 2021
- - 2021 On a paracomplete discussive logic (Устный)
  - Авторы: Mruczek-Nasieniewska Krystyna, Petrukhin Yaroslav, Shangin Vasily
  - Двенадцатые Смирновские чтения по логике. Международная научная конференция. 24-26 июня 2021 года, Философский факультет, МГУ имени М. В. Ломоносова, Россия, Россия, 24-26 июня 2021
- - 2021 On the application of bisequents to many-valued logics (Устный)
  - Авторы: Indrzejczak Andrzej, Petrukhin Yaroslav
  - Двенадцатые Смирновские чтения по логике. Международная научная конференция. 24-26 июня 2021 года, Философский факультет, МГУ имени М. В. Ломоносова, Россия, Россия, 24-26 июня 2021
- - 2021 Normalisation for some infectious logics with bivalent semantics (Устный)
  - Автор: Petrukhin Yaroslav
  - Formal Philosophy 2021, Москва, Россия, 21-23 июня 2021
- - 2021 Exactly true and non-falsity versions of Deutsch's logic (Устный)
  - Авторы: Belikov Alex, Petrukhin Yaroslav
  - Logical Perspectives 2021: Summer School and Workshop, Математический институт им. В.А. Стеклова РАН, ул. Губкина, д. 8, г. Москва, Россия, 14-19 июня 2021
- - 2021 On multilattice counterparts of MNT4, S4, and S5 (Устный)
  - Авторы: Grigoriev Oleg, Petrukhin Yaroslav
  - Logical Perspectives 2021: Summer School and Workshop, Математический институт им. В.А. Стеклова РАН, ул. Губкина, д. 8, г. Москва, Россия, 14-19 июня 2021
- - 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
- - 2021 Correspondence analysis for some fragments of classical propositional logic (Приглашенный)
  - Авторы: Petrukhin Ya I., Shangin V.
  - Logica Universalis Webinar, Швейцария, 16 декабря 2020 - 15 декабря 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 (Устный)
  - Авторы: Grigoriev O.M., Petrukhin Y.I.
  - Одиннадцатые Смирновские чтения по логике. Международная научная конференция. 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 (Устный)
  - Автор: Петрухин Я.И.
  - Первый Конгресс Русского общества истории и философии науки: «История и философия науки в эпоху перемен», Институт философии РАН, Россия, 13-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

Тезисы докладов
- - 2021 Cut-free proof systems for non-standard modal logics based on S5
  - Petrukhin Yaroslav
  - в сборнике European Summer Meeting of the Association for Symbolic Logic, Book of abstracts, серия Logic Colloquium, место издания Poznań, тезисы, с. 176
- - 2021 Normalisation for some infectious logics with non-standard disjunction elimination rules
  - Petrukhin Yaroslav
  - в сборнике 10th International Conference Logic and Applications LAP 2021, тезисы, с. 83-85
- - 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», издательство ООО "МАКС Пресс" (Москва), тезисы
  - редакторы Алешковский Иван Андреевич, Андриянов Андрей Владимирович, Антипов Евгений Александрович
- - 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», серия OOO "МАКС Пресс" Москва, издательство МИИ (Москва), том 2017, тезисы
- - 2017 Система натурального вывода для логики бессмысленности Z
  - Петрухин Я.И.
  - в сборнике Десятые Смирновские чтения по логике. Материалы Международной научной конференции. 15-17 июня 2017 года, серия Смирновские чтения по логике, издательство Изд-во Моск. ун-та (М.), тезисы, с. 112-114
  - редакторы Герасимова Ирина Алексеевна, Григорьев Олег Михайлович, Зайцев Дмитрий Владимирович, Ивлев Юрий Васильевич, Маркин Владимир Ильич, Шалак Владимир Иванович
- - 2016 Натуральное исчисление для логики Гейтинга
  - Петрухин Я.И.
  - в сборнике Материалы Международного молодежного научного форума «Ломоносов-2016», издательство ООО "МАКС Пресс" (Москва), тезисы
- - 2015 Аксиоматизация расширений логики Данна-Белнапа
  - Петрухин Я.И.
  - в сборнике Материалы Международного молодежного научного форума «Ломоносов-2015» / Отв. ред. А.И. Андреев, А.В. Андриянов, Е.А. Антипов. [Электронный ресурс], серия Социология, издательство ООО "МАКС Пресс" (Москва), том 2, тезисы
  - редакторы Алешковский Иван Андреевич, Корнеева Валерия Алексеевна, Стриж Ирина Георгиевна

НИРы
- - 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 сентября 2012 - 31 августа 2018

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

University of Lodz

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

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

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

IstinaResearcherID (IRID): 33923251

ResearcherID: P-8016-2018

Scopus Author ID: 57194190896

ORCID: 0000-0002-7731-1339

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

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

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

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

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

НИРы

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

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

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

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