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