|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Петрухин Ярослав Игоревич пользователь
МГУ имени М.В. Ломоносова, Философский факультет, Кафедра логики, аспирант, с 1 октября 2018
Прежние места работы (Нажмите для отображения)Соавторы: Шангин В.О., Leszczyńska-Jasion D., Григорьев О.М., Jukiewicz M., Klonowski M., Pietruszczak A., Zawidzki M.
31 статья, 26 докладов на конференциях, 13 тезисов докладов, 1 НИР, 1 награда, 2 стажировки, 1 учебный курс
Количество цитирований статей в журналах по данным
Web of Science: 8,
Scopus: 23
РИНЦ:
IstinaResearcherID (IRID): 33923251
ResearcherID: P-8016-2018
Scopus Author ID: 57194190896
ORCID: 0000-0002-7731-1339
Деятельность
стиль:
обычный |
ГОСТ |
plain |
abbrv |
acm |
alpha |
amsalpha |
amsplain |
apalike |
ieeetr |
siam
-
Статьи в журналах
-
- 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 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 Simplified Kripke-Style Semantics for Some Normal Modal Logics
- Pietruszczak Andrzej, Klonowski Mateusz, Petrukhin Yaroslav
- в журнале Studia Logica, издательство Kluwer Academic Publishers (Netherlands), с. 1-26 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 Теорема о нормализации выводов для логики Сетте и ее модификаций
- Петрухин Я.И.
- в журнале Вестник Московского университета. Серия 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 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
-
- 2016 Аналитико-табличная формализация интуиционистского варианта логики первоуровнего следования
- Петрухин Я.И.
- в журнале Логико-философские исследования, том 7, с. 153-161
-
-
Доклады на конференциях
-
- 2019 Exactly true and non-falsity versions of one nonsense logic (Устный)
- Авторы: Alex Belikov, Yaroslav Petrukhin
- International Conference "Formal Philosophy 2019" 27-28 June Moscow, Высшая школа экономики, Россия, 27-28 июня 2019
-
- 2019 Tomova's natural logics in proof-theoretical setting (Устный)
- Авторы: Yaroslav Petrukhin, Vasilyi Shangin
- 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., Petrukhin Y.I., Shangin V.O., Jukiewicz M.
- Одиннадцатые Смирновские чтения по логике. Международная научная конференция. 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 (Устный)
- Авторы: Zawidzki Michał, Petrukhin Yaroslav
- 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, Mateusz Klonowski, Yaroslav Petrukhin
- 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 (Устный)
- Авторы: Petrukhin Yaroslav, Shangin Vasilyi
- XIII международная конференция "Современная логика: проблемы и перспективы", Санкт-Петербург, Россия, 31 мая - 2 июня 2018
-
- 2018 Simplified Kripke style semantics without possible worlds for some modal logics (Устный)
- Авторы: Pietruszczak Andrzej, Klonowski Mateusz, Petrukhin Yaroslav
- 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 Аналитические таблицы для интуиционистского аналога FDE
- Петрухин Я.И.
- в сборнике Первый Конгресс Русского общества истории и философии науки "История и философия науки в эпоху перемен": сборник научных статей / Научн. ред. и сост. И.Т. Касавина и др. В 6 томах, место издания Изд-во «Русское общество истории и философии науки» Москва, том 1, тезисы, с. 73-75
-
- 2018 Об аксиоматизации двух модификаций базовой нечёткой логики Хайека
- Петрухин Я.И.
- в сборнике Материалы Международного молодежного научного форума «ЛОМОНОСОВ-2018» / Отв. ред. И.А. Алешковский, А.В. Андриянов, Е.А. Антипов. [Электронный ресурс] — М.: МАКС Пресс, 2018. — 1 электрон. опт. диск (DVD-ROM); 12 см. ISBN 978-5-317-05800-5, тезисы
-
-
- 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 января 2016 - 31 декабря 2018 Неклассические логики и их применение в философии и методологии науки
- Философский факультет
- Руководитель: Маркин В.И. Участники НИР: Зайцев Д.В., Ивлев Ю.В., Ильин А.А., Петрухин Я.И., Попов В.М., Шангин В.О.
-
-
Награды и премии
-
Стажировки в организациях
-
- 25 января 2019 - 18 июня 2019 Uniwersytet Łódzki, Польша
-
- 1 октября 2017 - 30 ноября 2017 Uniwersytet Mikołaja Kopernika w Toruniu, Польша
-
-
Преподавание учебных курсов
-
- 27 сентября 2018 - 13 декабря 2018 Логика
- МГУ имени М.В. Ломоносова, Юридический факультет
- обязательная, базовой части, семинары, 16 часов
-