|
|
|
Publications in Math-Net.Ru |
Citations |
|
2023 |
| 1. |
Ya. I. Petrukhin, “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  ; Russian Math. (Iz. VUZ), 67:11 (2023), 12–21 |
|
2019 |
| 2. |
Ya. I. Petrukhin, “Deduction normalization theorem for Sette's logic and its modifications”, Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 2019, no. 1, 26–33   ; Moscow University Mathematics Bulletin, 74:1 (2019), 25–31   |
3
|
|
2018 |
| 3. |
Ya. I. Petrukhin, “Natural deduction systems for some modifications of Kleene's and Dunn — Belnap's logics”, Chelyab. Fiz.-Mat. Zh., 3:4 (2018), 438–452  |
| 4. |
Ya. I. Petrukhin, “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 ; Moscow University Mathematics Bulletin, 73:1 (2018), 30–33 |
3
|
|
2017 |
| 5. |
Ya. I. Petrukhin, “Correspondence analysis for logic of rational agent”, Chelyab. Fiz.-Mat. Zh., 2:3 (2017), 329–337 |
1
|
| 6. |
Ya. I. Petrukhin, “Natural deduction for Yuriev's logic”, Chelyab. Fiz.-Mat. Zh., 2:1 (2017), 46–52 |
1
|
| 7. |
Ya. I. Petrukhin, “Natural deduction system for three-valued Heyting's logic”, Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 2017, no. 3, 63–66 ; Moscow University Mathematics Bulletin, 72:3 (2017), 133–136 |
2
|
|
| Presentations in Math-Net.Ru |
|
|
| Organisations |
|
|
