Ա․ Ա․ Չուբարյան, Ա․ Ա․ Համբարձունյան
On non-monotonous properties of some classical and nonclassical propositional proof systems (Ասույթային հաշվի դասական և ոչ դասական որոշ արտածման համակարգերի ոչ մոնոտոնության վերաբերյալ)
| ԵՊՀ Գիտական տեղեկագիր, Ֆիզիկա և մաթեմատիկա, 2020, հ. 54, #3, էջ 127-136 |
