Conference Application of Kalmar’s proof of deducibility in two valued propositional logic for many valued logic Anahit Chubaryan Artur Khamisyan
Conference On proof complexities for some classes of tautologies in Frege systems Anahit Chubaryan Garik Petrosyan
Conference Propositional sequent systems of two valued classical logic and many valued logics are no monotonous17-08-14.html. . Anahit Chubaryan Hakob Nalbandyan Arman Karabakhtsyan Garik Petrosyan
Conference On some universal proof system for all versions of many-valued logics Anahit Chubaryan Artur Khamisyan
Conference On the relations between the proof complexity measures of strongly equal k-tautologies in some proof systems Anahit Chubaryan Garik Petrosyan
Conference Ինֆորմացիոն տեխնոլոգիաների կիրառումը բնագիտական առարկաների դասավանդման համար Սարգսյան Ս.Գ. Հովակիմյան Ա.Ս. Իսպիրյան Ն.Հ. Դարբինյան Կ.Ս.
Conference On the proof complexity in two universal proof system for all versions of many-valued logics ANAHIT CHUBARYAN ARTUR KHAMISYAN
Conference Monotonous and strong monotonous properties of some propositional proof systems for Classical and Non Classical Logics ANAHIT CHUBARYAN GARIK PETROSYAN SERGEY SAYADYAN