Выберите категорию обращения:
Общие вопросы
Отчеты
Рейтинги
Мониторинговый отчёт
Диссертационные советы
Конкурсы
Ввод данных
Структура организаций
Аспирантура
Научное оборудование
Импорт педагогической нагрузки
Журналы и импакт-факторы
Тема обращения:
Описание проблемы:
Введите почтовый адрес:
ИСТИНА
Войти в систему
Регистрация
ИСТИНА ИНХС РАН
Главная
Поиск
Статистика
О проекте
Помощь
В связи с техническими работами в центре обработки данных, возможность загрузки и скачивания файлов временно недоступна.
скрыть
отправить сообщение
Петрухин Ярослав Игоревич
пользователь
Прежние места работы
(Нажмите для отображения)
МГУ имени М.В. Ломоносова
,
Философский факультет
,
Кафедра логики
, студент, 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
Деятельность
Статьи в журналах
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 часов