A. A. Chubaryan and A. A. Hambardzumyan, “ON NON-MONOTONOUS PROPERTIES OF SOME CLASSICAL AND NONCLASSICAL PROPOSITIONAL PROOF SYSTEMS”, Proc. YSU A: Phys. Math. Sci., vol. 54, no. 3 (253), pp. 127–136, Dec. 2020.