%0 Journal Article
%A A. A. Chubaryan
%A A. A. Hambardzumyan
%T On non-monotonous properties of some classical and nonclassical propositional proof systems
%J Proceedings of the Yerevan State University. Physical and mathematical sciences
%D 2020
%P 127-136
%V 54
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/UZERU_2020_54_3_a0/
%G en
%F UZERU_2020_54_3_a0