%0 Journal Article
%A Yu. M. Smetanin
%T Verification of the logical sequence in nonclassical multivalued logic
%J Izvestiya Instituta Matematiki i Informatiki Udmurtskogo Gosudarstvennogo Universiteta
%D 2017
%P 62-82
%V 50
%I mathdoc
%U http://geodesic.mathdoc.fr/item/IIMI_2017_50_a6/
%G ru
%F IIMI_2017_50_a6