Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Petrukhin, Yaroslav Igorevich

Statistics Math-Net.Ru
Total publications: 6
Scientific articles: 6
Presentations: 2

Number of views:
This page:137
Abstract pages:459
Full texts:108
References:53
E-mail:

http://www.mathnet.ru/eng/person125590
List of publications on Google Scholar
List of publications on ZentralBlatt

Publications in Math-Net.Ru
2019
1. Ya. I. Petrukhin, “Deduction normalization theorem for Sette's logic and its modifications”, Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 2019, 1,  26–33  mathnet  mathscinet  zmath; Moscow University Mathematics Bulletin, 74:1 (2019), 25–31  isi  scopus
2018
2. 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  mathnet  elib
3. 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, 1,  60–63  mathnet  mathscinet  zmath; Moscow University Mathematics Bulletin, 73:1 (2018), 30–33  isi  scopus
2017
4. Ya. I. Petrukhin, “Correspondence analysis for logic of rational agent”, Chelyab. Fiz.-Mat. Zh., 2:3 (2017),  329–337  mathnet  mathscinet  elib
5. Ya. I. Petrukhin, “Natural deduction for Yuriev's logic”, Chelyab. Fiz.-Mat. Zh., 2:1 (2017),  46–52  mathnet  mathscinet  elib
6. Ya. I. Petrukhin, “Natural deduction system for three-valued Heyting's logic”, Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 2017, 3,  63–66  mathnet  mathscinet; Moscow University Mathematics Bulletin, 72:3 (2017), 133–136  isi  scopus

Presentations in Math-Net.Ru
1. On multilattice counterparts of $\mathbf{MNT4}$, $\mathbf{S4}$, and $\mathbf{S5}$
Ya. I. Petrukhin, O. Grigoriev
Logical Perspectives 2021: Summer School and Workshop
June 19, 2021 12:00   
2. Exactly true and non-falsity versions of Deutsch's logic
A. Belikov, Ya. I. Petrukhin
Logical Perspectives 2021: Summer School and Workshop
June 18, 2021 11:00   

Organisations
 
Contact us:
 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2021