Chubaryan, Anahit A., and Arsen A. Hambardzumyan. “ON NON-MONOTONOUS PROPERTIES OF SOME CLASSICAL AND NONCLASSICAL PROPOSITIONAL PROOF SYSTEMS”. Proceedings of the YSU A: Physical and Mathematical Sciences, vol. 54, no. 3 (253), Dec. 2020, pp. 127-36, doi:10.46991/PYSU:A/2020.54.3.127.