%0 Journal Article %A Ya. I. Petrukhin %T Natural deduction for Yuriev's logic %J Čelâbinskij fiziko-matematičeskij žurnal %D 2017 %P 46-52 %V 2 %N 1 %I mathdoc %U http://geodesic.mathdoc.fr/item/CHFMJ_2017_2_1_a4/ %G ru %F CHFMJ_2017_2_1_a4