CHUBARYAN, Anahit A.; HAMBARDZUMYAN, Arsen A. ON NON-MONOTONOUS PROPERTIES OF SOME CLASSICAL AND NONCLASSICAL PROPOSITIONAL PROOF SYSTEMS. Proceedings of the YSU A: Physical and Mathematical Sciences, Yerevan, Armenia, v. 54, n. 3 (253), p. 127–136, 2020. DOI: 10.46991/PYSU:A/2020.54.3.127. Disponível em: https://journals.ysu.am/index.php/proceedings-phys-math/article/view/vol54_no3_2020_pp127-136. Acesso em: 22 jul. 2024.