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 54, no. 3 (253) (December 15, 2020): 127–136. Accessed August 25, 2024. https://journals.ysu.am/index.php/proceedings-phys-math/article/view/vol54_no3_2020_pp127-136.