Выберите категорию обращения:
Общие вопросы
Отчеты
Рейтинги
Мониторинговый отчёт
Диссертационные советы
Конкурсы
Ввод данных
Структура организаций
Аспирантура
Научное оборудование
Импорт педагогической нагрузки
Журналы и импакт-факторы
Тема обращения:
Описание проблемы:
Введите почтовый адрес:
ИСТИНА
Войти в систему
Регистрация
Интеллектуальная Система Тематического Исследования НАукометрических данных
Главная
Поиск
Статистика
О проекте
Помощь
отправить сообщение
Петрухин Ярослав Игоревич
пользователь
МГУ имени М.В. Ломоносова
,
Философский факультет
,
Кафедра логики
, аспирант, с 1 октября 2018
Прежние места работы
(Нажмите для отображения)
МГУ имени М.В. Ломоносова
,
Философский факультет
,
Кафедра логики
, студент, 1 сентября 2012 - 31 августа 2018
Соавторы:
Шангин В.О.
,
Leszczyńska-Jasion D.
,
Григорьев О.М.
,
Jukiewicz M.
,
Klonowski M.
,
Pietruszczak A.
,
Zawidzki M.
,
Беликов А.А.
39 статей
,
38 докладов на конференциях
,
12 тезисов докладов
,
2 НИР
,
1 награда
,
2 стажировки
,
1 членство в программном комитете
,
1 учебный курс
Количество цитирований статей в журналах по данным Web of Science: 10, Scopus: 55
РИНЦ:
IstinaResearcherID (IRID): 33923251
ResearcherID:
P-8016-2018
Scopus Author ID:
57194190896
ORCID:
0000-0002-7731-1339
Деятельность
Статьи в журналах
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
2018
Аналитические таблицы для интуиционистского аналога FDE
Петрухин Я.И.
в сборнике
Первый Конгресс Русского общества истории и философии науки "История и философия науки в эпоху перемен": сборник научных статей / Научн. ред. и сост. И.Т. Касавина и др. В 6 томах
, место издания
Изд-во «Русское общество истории и философии науки» Москва
, том 1, с. 73-75
Доклады на конференциях
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
2018
Об аксиоматизации двух модификаций базовой нечёткой логики Хайека
Петрухин Я.И.
в сборнике
Материалы Международного молодежного научного форума «ЛОМОНОСОВ-2018» / Отв. ред. И.А. Алешковский, А.В. Андриянов, Е.А. Антипов. [Электронный ресурс] — М.: МАКС Пресс, 2018. — 1 электрон. опт. диск (DVD-ROM); 12 см. ISBN 978-5-317-05800-5
, тезисы
2017
Completeness via Correspondence for Extensions of First Degree Entailment Supplied with Classical Negation
Petrukhin Yaroslav
в сборнике
PhDs in Logic IX. Program and Abstracts
, тезисы, с. 55-56
2017
Completeness via Correspondence for Extensions of Paraconsistent Weak Kleene Logic
Petrukhin Y.I.
,
Shangin V.O.
в сборнике
Десятые Смирновские чтения по логике. Материалы Международной научной конференции. 15-17 июня 2017 года
, серия
Смирновские чтения по логике
, издательство
Изд-во Моск. ун-та
(М.)
, тезисы, с. 114-115
редакторы
Герасимова Ирина Алексеевна
,
Григорьев Олег Михайлович
,
Зайцев Дмитрий Владимирович
,
Ивлев Юрий Васильевич
,
Маркин Владимир Ильич
,
Шалак Владимир Иванович
2017
Об одной паранепротиворечивой модификации логики Гёделя-Даммита
Петрухин Я.И.
в сборнике
Материалы Международного молодежного научного форума «ЛОМОНОСОВ-2017» / Отв. ред. И.А. Алешковский, А.В. Андриянов, Е.А. Антипов. [Электронный ресурс] — М.: МАКС Пресс, 2017. — 1 электрон. опт. диск (DVD-ROM); 12 см. ISBN 978-5-317-05504-2
, тезисы
2017
Система натурального вывода для логики бессмысленности Z
Петрухин Я.И.
в сборнике
Десятые Смирновские чтения по логике. Материалы Международной научной конференции. 15-17 июня 2017 года
, серия
Смирновские чтения по логике
, издательство
Изд-во Моск. ун-та
(М.)
, тезисы, с. 112-114
редакторы
Герасимова Ирина Алексеевна
,
Григорьев Олег Михайлович
,
Зайцев Дмитрий Владимирович
,
Ивлев Юрий Васильевич
,
Маркин Владимир Ильич
,
Шалак Владимир Иванович
2016
Натуральное исчисление для логики Гейтинга
Петрухин Я.И.
в сборнике
Материалы Международного молодежного научного форума «ЛОМОНОСОВ-2016» / Отв. ред. И.А. Алешковский, А.В. Андриянов, Е.А. Антипов. [Электронный ресурс] — М.: МАКС Пресс, 2016. — 1 электрон. опт. диск (DVD-ROM); 12 см. ISBN 978-5-317-05237-9
, место издания
МАКС Пресс Москва
, тезисы
2015
Аксиоматизация расширений логики Данна-Белнапа
Петрухин Я.И.
в сборнике
Материалы Международного молодежного научного форума «ЛОМОНОСОВ-2015» / Отв. ред. А.И. Андреев, А.В. Андриянов, Е.А. Антипов. [Электронный ресурс]
, место издания
МАКС Пресс Москва
, тезисы
НИРы
1 января 2020 - 31 декабря 2022
Дедуктивные свойства многозначных логик обобщенных истинностных значений
Автономная некоммерческая организация "Институт логики, когнитологии и развития личности"
Руководитель:
Шангин В.О.
Ответственные исполнители:
Беликов А.А.
,
Григорьев О.М.
,
Петрухин Я.И.
1 января 2016 - 31 декабря 2018
Неклассические логики и их применение в философии и методологии науки
Философский факультет
Руководитель:
Маркин В.И.
Участники НИР:
Зайцев Д.В.
,
Ивлев Ю.В.
,
Ильин А.А.
,
Петрухин Я.И.
,
Попов В.М.
,
Шангин В.О.
Награды и премии
2018
Российская логическая премия имени Н.А. Васильева
Лауреат:
Петрухин Я.И.
Стажировки в организациях
25 января 2019 - 18 июня 2019
Uniwersytet Łódzki, Польша
1 октября 2017 - 30 ноября 2017
Uniwersytet Mikołaja Kopernika w Toruniu, Польша
Участие в программных комитетах конференций
11-13 декабря 2020
XI Łódzkie Warsztaty Filozoficzne „Nie-Skończoność”
Член организационного комитета
Лодзь, Польша
Преподавание учебных курсов
27 сентября 2018 - 13 декабря 2018
Логика
МГУ имени М.В. Ломоносова
,
Юридический факультет
обязательная, базовой части, семинары, 16 часов