Petrukhin Yaroslav Igorevich

Publications in Math-Net.Ru

1. On a modification of Visser's formal logic and its connection with Solovay's modal logic
   
   Izv. Vyssh. Uchebn. Zaved. Mat., 2023, no. 11,  15–25
2. Deduction normalization theorem for Sette's logic and its modifications
   
   Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 2019, no. 1,  26–33
3. Natural deduction systems for some modifications of Kleene's and Dunn — Belnap's logics
   
   Chelyab. Fiz.-Mat. Zh., 3:4 (2018),  438–452
4. Natural deduction systems for the three-valued nonsense logics $\mathbf{Z}$ and $\mathbf{E}$
   
   Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 2018, no. 1,  60–63
5. Correspondence analysis for logic of rational agent
   
   Chelyab. Fiz.-Mat. Zh., 2:3 (2017),  329–337
6. Natural deduction for Yuriev's logic
   
   Chelyab. Fiz.-Mat. Zh., 2:1 (2017),  46–52
7. Natural deduction system for three-valued Heyting's logic
   
   Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 2017, no. 3,  63–66