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

Публикации в базе данных Math-Net.Ru

1. Об одной модификации формальной логики Виссера и ее связи с модальной логикой Соловэя
   
   Изв. вузов. Матем., 2023, № 11,  15–25
2. Теорема о нормализации выводов для логики Сетте и ее модификаций
   
   Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2019, № 1,  26–33
3. Натуральные исчисления для некоторых модификаций логик Клини и Данна — Белнапа
   
   Челяб. физ.-матем. журн., 3:4 (2018),  438–452
4. Натуральные исчисления для трехзначных логик бессмысленности $\mathbf{Z}$ и $\mathbf{E}$
   
   Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2018, № 1,  60–63
5. Correspondence analysis for logic of rational agent
   
   Челяб. физ.-матем. журн., 2:3 (2017),  329–337
6. Натуральное исчисление для логики Юрьева
   
   Челяб. физ.-матем. журн., 2:1 (2017),  46–52
7. Система натурального вывода для трехзначной логики Гейтинга
   
   Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2017, № 3,  63–66