Chubaryan, A. A.; Hambardzumyan, A. A. ON NON-MONOTONOUS PROPERTIES OF SOME CLASSICAL AND NONCLASSICAL PROPOSITIONAL PROOF SYSTEMS. Proc. YSU A: Phys. Math. Sci. 2020, 54, 127-136.