TY  - JOUR
AU  - A. A. Chubaryan
AU  - A. A. Hambardzumyan
TI  - On non-monotonous properties of some classical and nonclassical propositional proof systems
JO  - Proceedings of the Yerevan State University. Physical and mathematical sciences
PY  - 2020
SP  - 127
EP  - 136
VL  - 54
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/UZERU_2020_54_3_a0/
LA  - en
ID  - UZERU_2020_54_3_a0
ER  -