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