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, doi: 10.46991/PYSU:A/2020.54.3.127.