Chubaryan AA, Hambardzumyan AA. ON NON-MONOTONOUS PROPERTIES OF SOME CLASSICAL AND NONCLASSICAL PROPOSITIONAL PROOF SYSTEMS. Proc. YSU A: Phys. Math. Sci. [Internet]. 2020 Dec. 15 [cited 2024 Nov. 21];54(3 (253):127-36. Available from: https://pub.ysu.am/index.php/proceedings-phys-math/article/view/vol54_no3_2020_pp127-136