%0 Journal Article
%A Ya. I. Petrukhin
%T Natural deduction systems for some modifications of Kleene's and Dunn~--- Belnap's logics
%J Čelâbinskij fiziko-matematičeskij žurnal
%D 2018
%P 438-452
%V 3
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/CHFMJ_2018_3_4_a4/
%G ru
%F CHFMJ_2018_3_4_a4