Anahit A. Chubaryan
Biography
Education
Yerevan State University, Department of mechanic and mathematic: 1964 - 1969,
PhD - education: 1969 - 1972

Academic degree
Candidate thesis “On proof complexity characteristics in some logical calculus”, 1978, NC, SA of USSR, Moscow
Doctoral thesis “Investigation of proof complexity characteristics in logical
and logic-mathematical systems”, 2007, IPIA of NAS RA, Yerevan

Professional experience
YSU, chair of “Mathematical cybernetic” lecture: 1972-1976
senior lecture: 1976 - 1982
associate professor: 1982 - 2009
chair of “Theory of systems” holder of the chair: 1986 - 1991
chair of “Discrete mathematic and informatic” full professor: 2009 - at present

Academic courses
Theory of algorithm, mathematical logic, discrete mathematic,
Common complexity theory, proof complexity

Scale of professional interests
Mathematical logic, proof theory, proof complexity

Participation in grant projects
Grant of SCS of RA (code 11-1b023)

Languages
Armenian, Russian, English, Germany

Professional membership
Member of 1) specialized council 044 “Mathematical cybernetic and mathematical logic” of SCC of RA by YSU 2) Armenian mathematical society 3) of Association of Symbolic Logic

achubaryan@ysu.am

Anahit A. Chubaryan

Professor | Faculty of Informatics and Applied Mathematics - Chair of Discrete Mathematics and Theoretical Informatics
 
 

Book

Ա. Ա. Չուբարյան, Հ. Գ. Մովսեսյան, Ս. Մ. Սայադյան

Հաշվարկելիության բարդության տեսության հիմնադրույթները | Ուս. ձեռնարկ: ԵՊՀ հրատ.: 2017թ․, 62 էջ

Anahit Chubaryan, Artur Khamisyan, Garik Petrosyan

On some systems for two versions of many-valued logics | LAP (Lambert Academic Publishing). 2017, 73 p.

A. A. Chubaryan

Rabin style speed-up of proofs | Monograph, LAP (Lambert Academic Publishing), Germany, 2010

, Anahit A. Chubaryan

Proof Complexity of Hard-determinable Formula in R(lin) | ASL ESM, LC-2009, Abstracts, Sofia, 27

A. A. Chubaryan, H. R. Bolibekyan, H. Movsisyan

Ալգորիթմների տեսության խնդիրների ժողովածու | Ուսումնական ձեոնարկ, ԵՊՀ հրատարակչություն, Երևան-2008 և http:users.freenet.am/~bolibek

A. A. Chubaryan, A. Chubaryan, S. M. Sayadyan

The relative efficiency of propositional proof systems for classical and non-classical logic | Book “Perspectives on Universal Logic”, ISP, Monza, Italy,2007, pp. 265-275

Болибекян О., Чубарян А.

О минимальных секвенциальных исчислениях арифметики Робинсона | Ученые записки ЕГУ, 3, 2002, 20 – 22

A. A. Chubaryan, R. N. Tonoyan

Ավտոմատներ և Թյուրինգի մեքենաներ | Ուսումնական ձեռնարկ, ԵՊՀ հրատարակչություն, Երևան 1984
 

Article

Anahit Chubaryan, Artur Khamisyan, Garik Petrosyan

Investigation of the Proof Complexity Measures of Strongly Equal K-Tautologies in Some Proof Systems | Transactions on Machine Learning and Artificial Intelligence, 2019, Volume 7, No 1, pp. 56-63 |

Чубарян А. А., Саядян С. М., Зограбян Г. М.

О свойствах монотонности и строгой монотонности пропозициональных систем резолюций классической и неклассических логик | Sciences of Europe, 2019, 35, 2, pp. 74-77

Anahit Chubaryan, Artur Khamisyan

Relations between the Proof Complexity Characteristics in Two Universal Proof Systems for All Variants of Many-Valued Logics | East African Scholars Journal of Engineering and Computer Sciences, 2019, 2(2), pp. 69-74 |

Chubaryan A. A., Tamazyan H. A., Tshitoyan A. S.

Some improvement of lower bounds for steps and sizes of proofs in Frege systems | Sciences of Europe, 2019, Vol 1, # 37, pp. 39-44 |

Г. М. Зограбян, С. М. Саядян, А. А. Чубарян

Исследование свойства монотонности некоторых пропозициональных систем выводов классической и неклассических логик | ՀՀ ԳԱԱ զեկույցներ, 2019, 119, 1, էջ 33-39 |

Anahit Chubaryan

Universal system for many-valued logic, based on splitting method, and some of its properties | International Journal of Innovative Studies in Sciences and Engineering Technology, 2019, Volume 5, Issue 5, pp. 52-55 |

Anahit Chubaryan, Sergey Sayadyan

On the Proof Complexities of Strongly Equal Non-classical Tautologies | Advances in Mathematics and Computer Science, 2019, Vol. 1 Chapter 6, pp. 105-112 |

A. A. Chubaryan, H. A. Tamazyan

On lower bounds for proofs sizes in Frege systems | ՀՀ ԳԱԱ զեկույցներ, 2019, 119, 2, էջ 116-121 |

Anahit Chubaryan, Garik Petrosyan

On the relations between the proof complexity measures of strongly equal k-tautologies in some proof systems | Logic Colloquium 2018. 122-123 pp. |

Anahit Chubaryan, Artur Khamisyan

Two types of universal proof systems for all variants of many-valued logics and some properties of them | Iran Journal of Computer Science. 2018, 1, 1-8 pp. |

Чубарян А. А., Саядян С. М.

"Слабые” системы выводов классического исчисления высказываний не монотонны | Проблемы современной науки и образования. 2018, 2 (122), стр. 5-10 |

Chubaryan A., Karabakhtsyan A., Petrosyan G.

Some properties of several proof systems for Intuitionistic, Johansson’s and Monotone propositional logics | Journal of Asian Scientific Research. 2018, V.8, N2, 61-72 pp. |

Саядян С. М., Чубарян А. А.

O свойстве немонотонности некоторых систем выводов классического исчисления высказываний | Доклады НАН РА. 2018, 118, N 1, стр. 20-25 |

Chubaryan Anahit, Karabakhtsyan Arman, Petrosyn Garik

On some properties of several proof systems for non classical propositional logics | Вестник Российско-Армянского Университета: Физико-математические и естественные науки. 2018, 1, стр. 5-17 |

Chubaryan A. A., Tshitoyan A. S.

On some propositional proof systems for various logics | Sciences of Europe. 2017, 11 (11), pp. 26-29 |

Chubaryan A. A., Petrosyan G. W.

Some notes on proof complexities in Frege systems | Sciences of Europe. 2017, Vol.1,#12 (12), pp. 31-34 |

Chubaryan Anahit, Khamisyan Artur

Generalization of Kalmar’s proof of deducibility in two valued propositional logic into many valued logic | Pure and Applied Mathematics. 2017, Vol.6, No. 2, pp. 71-75 |

Anahit Chubaryan, Garik Petrosyan

On some properties of several proof systems for 2-valued and 3-valued propositional logic | Fundamentalis scientiam. 2017, 8(8), pp. 70-73 |

Chubaryan Anahit, Khamisyan Artur, Arman Tshitoyan

On some systems for Łukasiewicz’s many-valued logic and its properties | Fundamentalis scientiam. 2017, 8(8), pp. 74-79 |

Chubaryan A. A. , Petrosyan G. W

The relations between the proof complexities of strongly equal classical tautologies in Frege systems | Российско-Китайский международный научный журнал «Содружество», 2016, № I (1), стр. 78-81 |

А. А. Чубарян, А. С. Читоян, А. А. Хамисян

О некоторых системах доказательств для многозначных логик и сложностях выводов в них | ՀՀ ԳԱԱ զեկույցներ, 2016թ․, том 116, N2, 108-114 էջ, Հայաստան |

Анаит Чубарян, Артур Хамисян

Новый метод доказательства полноты пропозициональной системы трехзначной логики Лукасевича и его приложения | Evolutio. Естественные науки, 2016, Вып 3 , стр. 9-12 |

Anahit Chubaryan, Garik Petrosyan

Frege systems are no monotonous | Evolutio. Естественные науки, 2016, Вып 3, стр. 12-14 |

An. Chubaryan, Arm. Chubaryan, A.Tshitoyan

On lower bounds for steps and sizes of proofs in Frege systems | CSIT-2015, Yerevan. 2015-09-28, 16-18 pp. |

Anahit A. Chubaryan, , ,

A Hierarchy of Resolution Systems with Restricted Substituted Rules | Computer Technology and Applications, David Publishing, USA, Vol.3, N4, 2012, pp. 330-336

Anahit A. Chubaryan,

On efficiency of Intuitionistic and Minimal Frege systems without and with different substitution rules | Nauka i Studia, 13 (58), Poland, 2012, pp. 117-124

Anahit A. Chubaryan, ,

The Properties of Determinative Disjunctive Normal Forms and Systems Based on Them | Journal of Mathematics Research, Vol.4, No 6, Toronto, Published by Canadian Centre of Science and Education, 2012, pp.89-96

A. A. Chubaryan, H. Nalbandyan

Comparison of proof sizes in Frege systems and Substitution Frege systems | Int.J. ITA, Bulgaria, 2010, Vol.17, N 2, pp. 146-153

A. A. Chubaryan, A.Abajyan

Proof complexities of some propositional formulae classes in different refutation systems | Int. J. ITA, Bulgaria, 2010, Vol.17, N3, 289-299

A. A. Chubaryan, H. R. Bolibekyan

On the Rabin’s speed-up of proofs for some systems of first order logic (Առաջին կարգի տրամաբանության որոշ համակարգերում արտածումների Ռաբինի արագացման մասին) | ԵՊՀ գիտական տեղեկագիր, Ֆիզիկա և մաթեմատիկա, 2010, #1, էջ 61–63 |

A. A. Chubaryan, S. Aleksanyan

The polynomial bounds of proof complexity in Frege systems | Siberian Mathematical Journal, Springer Verlag, V. 50, N 2, 2009, pp. 243-249

A. A. Chubaryan, H. Nalbandyan

Comparison of the Efficiency of Frege Systems with Different Mօdifications of Substitution Rule | DNAN RA, Prikladnaja Matematika, 2009, V. 109, N 3, 208-213 (in Russian)

A. A. Chubaryan, A. Chubaryan, S. Aleksanyan

Comparison of the Complexities in Frege Proofs with defferent Substition rules | Mathematical Problems of Computer Science, 30, NAS RA, 2008, pp. 36-39

A. A. Chubaryan, A. Chubaryan

Definition of Strong Equality of Tautologies and Universal System for Various Propositional Logics | Armenian Journal of Mathematics, V. 1, N 2, 2008, pp. 29-35

A. A. Chubaryan, A. Chubaryan

A new definition of Equality of Tautologies for various Logics | L&PS, V.5, Issue 1, 2007, Triest, Italy, 3-8

A. A. Chubaryan, S. Aleksanyan

On determinative complexity of Frege Proofs | XIV International Conference on LPAR, Proceedings of the short Papers Session, 2007, Yerevan, pp. 117-122

H. Bolibekyan, Chubaryan An., Chubaryan Arm.

On the most generalized speed-up in first order logic | Proceedings of the Logic Colloquium 2005, Athens (and the Bulletin of Symbolic Logic, v. 12, No. 2, 2006), p. 59 (p. 328)

A. A. Chubaryan

Об эффективности различных систем классических и неклассических логик | ДАН, РФ, Математика, т. 404, N 2, 2005, and DMS 5/1, 2005, MAIK “Nauka/Interperiodika”,166-168

A. A. Chubaryan

О сложности выводов в некоторых системах классического исчисления высказываний | “Математические вопросы кибернети¬ки”, вып. 14, 2005, М., Физматлит, с. 49-56

H. Bolibekyan, Chubaryan A.

On some proof systems for I. Johansson’s minimal logic of predicates | Proceedings of the Logic Colloquium 2003, Helsinki (and the Bulletin of Symbolic Logic, v. 10, No. 2, 2004), p. 56 (p.250)

A. A. Chubaryan, H. R. Bolibekyan

О секвенциальных системах слабых арифметик | ДНАН Армении, Прикладная математика, 2002, 102, т. 3, ц. 214-218

A. A. Chubaryan

Относительная эффективность некоторых систем доказательств классической пропозициональной логики | Известия НАН РА, т. 37, N 5, 2002, and Journal of CMA (AAS), v. 37, N5, 2002, 71-84

A. A. Chubaryan, H. R. Bolibekyan

О минимальных секвенциальных исчислениях арифметики Робинсона (Ռոբինսոնի թվաբանության մինիմալ սեկվենցիալ հաշիվների մասին) | ԵՊՀ Գիտական տեղեկագիր, Բնական գիտություններ, 2002, #3, էջ 20-22 (ռուսերեն) |

О. Р. Болибекян, А. А. Чубарян

О секвенциальных системах слабых арифметик | ДНАН Армении, Прикладная математика, 2002, 102, т. 3, ц. 214-218

A. A. Chubaryan

О некоторой системе классического исчисления высказываний (Ասույթային դասական հաշվի մեկ համակարգի վերաբերյալ) | ԵՊՀ Գիտական տեղեկագիր, Բնական գիտություններ, 2001, #2, էջ 22-26 (ռուսերեն) |

A. A. Chubaryan, H. R. Bolibekyan

Արտածումների որոշ բարդությունների հետազոտում | Երիտասարդ գիտնականների հոդվածների հոբելյանական ժողովածու, ԵՊՀ, 2000, էջ 16-20

A. A. Chubaryan

О нижних оценках выводов в системах Фреге с подстановками | ДНАН Армении, Прикладная матема¬тика, т. 100, N 3, 2000, 223-227

A. A. Chubaryan

The powers of the essential subformulaes sets in Frege proofs and substitution Frege proofs | Mathematical Problems of Computer Science (Матем. воп¬ро¬сы кибернетики и вычислит. техники), Е., Изд-во НАН РА, т. 21, 2000, с. 116-118

A. A. Chubaryan

The Complexity in Frege Poofs with Substitution | Mathematical Problems of Computer Science, (Матем. вопросы кибернетики и вычислит. техники), Е., Изд-во НАН РА, т. 21, 2000, pp. 7-11

Բոլիբեկյան Հ., Չուբարյան Ա.

Արտածումների որոշ բարդությունների հետազոտում | Երիտասարդ գիտնականների հոդվածների ժողովածու, Եր., 2000, 2, 16 – 21

A. A. Chubaryan

О сложности выводов в некоторой системе классического исчисления высказываний | Изв. НАН Армении, Математика, т. 34, N 5, 1999 and Journal of CMA (AAS), v. 34, N5, 1999, 16-26

A. A. Chubaryan

Сравнение выводов в системах Фреге и системах Фреге с правилом подстановки | Известия НАН РА, Математика, т. 35, N 5, 2000 and Journal of CMA (AAS), v. 35, N5, 1999, с. 21-29

A. A. Chubaryan, G. Zoryan, A. Jugaryan

О сложности расщепления для некоторых классов формул | Прикладная математика, вып. 5, Изд-во ЕГУ, 1987, 121-129

A. A. Chubaryan

О сложностных характеристиках выводов в системах исчисления предикатов и формальной арифметики | "Математические вопросы кибернетики и вычислительной техники", Ереван, Изд-во АН Арм. ССР, X, 1982, 124-139

A. A. Chubaryan

О сравнении длин выводов в различных системах исчисления высказываний | Второй чехословацко-советский семи¬нар молодых ученых по математической информатике, Братислава, 1982, 145-150

A. A. Chubaryan

О сложности выводов в различных системах исчисления высказываний | Прикладная математика, вып. 1, Изд-во ЕГУ, 1981, 81-89

A. A. Chubaryan

О сложности выводов в формальной арифметике и исчислении предикатов | ДАН Арм. ССР, т. LXIV, N 4, 1977, 193-196

A. A. Chubaryan, Г. Цейтин

О некоторых оценках длин логических выводов в классическом исчислении высказываний | "Математические вопросы кибернетики и вычислительой техники", Ереван, Изд-во АН Арм ССР, 1975, 57-64

A. A. Chubaryan, Nugen Van Tin

Некоторые оценки сложностных характеристик выводов в классическом исчислении высказываний | "Молодой научный работник", Ереван, Изд-во ЕГУ, N 2 (22), 1975, 47-54.

A. A. Chubaryan

О длинах выводов формулы в расширениях формальной арифметики | Изд-во АН ССР, IX, N 5, 1974, 409-420

A. A. Chubaryan

О сложности выводов в расширениях формальной арифметики | "Молодой научный работник", Изд-во ЕГУ, N 2 (20), 1974, 60-63

A. A. Chubaryan

О некоторой нормальной форме и сложностных характеристиках выводов в классическом исчислении высказываний | Изв. АН Арм. ССР, т. X, N 5, 1974, 398-409

A. A. Chubaryan, Г. Цейтин

Некоторые оценки длин логических выводов в классическом исчислении высказываний | ДАН Арм. ССР, т. LV, N 1, 1972, 10-12
 

Thesis

Anahit Chubaryan, Garik Petrosyan, Sergey Sayadyan

Monotonous and strong monotonous properties of some propositional proof systems for Classical and Non Classical Logics | Logic Colloquium 2019. pp. 165-166 |

Anahit Chubaryan, Artur Khamisyan

On the proof complexity in two universal proof system for all versions of many-valued logics | Logic Colloquium 2019, p. 152-153 |

Anahit Chubaryan, Artur Khamisyan

On some universal proof system for all versions of many-valued logics | Logic Colloquium 2018. p. 95-96 |

Anahit Chubaryan, Artur Khamisyan

Application of Kalmar’s proof of deducibility in two valued propositional logic for many valued logic | ASL, ESM, Logic Colloquium – 2017. p. 97 |

Anahit Chubaryan, Garik Petrosyan

On proof complexities for some classes of tautologies in Frege systems | ASL, ESM, Logic Colloquium – 2017. p. 99 |

Anahit Chubaryan, Hakob Nalbandyan, Arman Karabakhtsyan , Garik Petrosyan

Propositional sequent systems of two valued classical logic and many valued logics are no monotonous17-08-14.html | ASL, ESM, Logic Colloquium – 2017. p. 98 |

Anahit Chubaryan, Garik Petrosyan

The proof complexities relations for strongly equal classical tautologies in Frege systems | ASL, ESM, Logic Colloquium – 2016, p. 69-70 |

Anahit Chubaryan, Artur Khamisyan, Arman Tshitoyan

Some new proof systems for a version of many-valued logics and proof complexities in it | ASL, ESM, Logic Colloquium – 2016, p. 70 |

Anahit A. Chubaryan,

Resolution systems with restricted substitution rule | CiE-2012, Cambridge, Abstracts,25

Anahit A. Chubaryan

On the hierarchies of some propositional systems for classical and non-classical logics | Mathematical Problems of Computer Science, 38, Yerevan, 2012, pp. 95-96

Anahit A. Chubaryan,

Some new propositional proof systems for intuitionistic and minimal logics | Mathematical Problems of Computer Science, 38, Yerevan, 2012, pp. 44-45.

Anahit A. Chubaryan, ,

On determinative disjunctive normal Forms | CSIT Conference 2011, Yerevan, 39-41

Anahit A. Chubaryan, ,

A hierarchy of Resolution with restricted substitution for Classical propositional Logic | SciRP Workshop, Shanghai, China, 2011, 6-7

Anahit A. Chubaryan, ,

Resolution systems with restricted substitution for Intuitionistic and Minimal Logics | SciRP Workshop, Shanghai, China, 2011, 7

R. Karapetyan, S. Gasparyan, A. Chubaryan

Academic Discourse in Multicultural Aspects | ESSE 10 International Conference of European Society for the Study of English. ESSE 10 Conference Program (poster session). Italy, Torino: Tipografia Testa-Torino, 2011, էջ 71

Anahit A. Chubaryan, ,

On the sizes in Frege proofs and Substitution Frege proofs | ASL ESM, LC, Paris, 2010, 37.

Anahit A. Chubaryan, ,

On numerical properties of determinative normal forms | LC-2010, Paris, 45

Anahit A. Chubaryan, ,

Efficiency of Weak Substitution Rules | ASL ESM, LC-2009, Abstract, Sofia, 37-38

Anahit A. Chubaryan, ,

Comparison of the Efficiency of Frege Systems with Restricted Substitution Rules | CSIT, 2009, Yerevan, 31-32.

Anahit A. Chubaryan,

On the proof complexities in the Frege systems with different substitution rules | ESM, ASL, Logic-Colloquium-2008, Bern, 37.

Anahit A. Chubaryan,

Relative efficiency of Frege Systems with different substitution rules | ASL- 10, Kobe, Japan, 2008, 43

Anahit A. Chubaryan,

A new definition of Equality of Tautologies for various Logics | I International Algebra and Geometry Confe¬rence, 2007, Yerevan, 11

Anahit A. Chubaryan,

On determinative complexity of Frege Proofs | XIV International Conference on LPAR, Proceedings of the short Papers Session, 2007, Yerevan, 117-122

Anahit A. Chubaryan, , Hovhannes R. Bolibekyan

On the most generalized speed-up in first order logic | Logic-Colloquium 2005 ESM, ASL, Athens, 59, and the Bulletin of Symbolic Logic, v. 12, N 2, June, 2006, 328

Anahit A. Chubaryan,

The relative efficiency of different propositional proof systems | Logic-Colloquium 2005 ESM, ASL, Athens, 58, and the Bulle¬tin of Symbolic Logic, v. 12, N 2, June, 2006, 327

Anahit A. Chubaryan,

On the proofs complexity in the Resolution systems of Intuitionistic and Minimal propositional logic | Logic Colloquium 2004, Torino, Italy, Abstracts, 62, and Bulletin of Symb. Logic, v. 11, N 2, 2005, 271-272

Anahit A. Chubaryan, ,

The relative efficiency of propositional proof systems for classical and non-classical logic | 1st World Congress Unilog, Montreux, Switzerland, Handbook 2005, 18

Anahit A. Chubaryan,

Comparison of efficiency of of some proof systems for classical and non-classical logic | CSIT-2005, Yerevan, 39-42

Anahit A. Chubaryan,

On some properties of Frege proofs | CSIT-2005, Yerevan, 35-38

Anahit A. Chubaryan, Hovhannes R. Bolibekyan

On some proof systems for I. Johansson's minimal logic of predicates | Logic Colloquium 2003, Helsinki, Finland, Aug. 14-20, Abstracts, and Bulletin of Symb. Logic, v.10, N2, 2004, 31

Anahit A. Chubaryan,

On the proofs complexity in CPL | Logic Colloquium-2002, Muenster, Germany, 30-31, and Bulletin of Symbolic Logic, v. 9, N 1, Murch 2003,167

Anahit A. Chubaryan, Hripsime G. Movsesyan

On the proofs complexity in intuitionistic and minimal propositional logic | Logic Colloquium-2002, Muenster, Germany, 45, and Bulletin of Symbolic Logic, v. 9, N 1, Murch 2003, 172

Anahit A. Chubaryan, ,

On the proofs complexity in some "weak" systems of CPL | 12-th International Congress of Logic, Methodology and Philosophy of Science, Volume of Abstracts, Spain, Oveido, 2003,61-62

Anahit A. Chubaryan, ,

On the Bounds of the Proofs Complexity in Some "Weak" Systems of Classical Propositional Logic | CSIT Conference, Yerevan, 2003, 86-87

Anahit A. Chubaryan

On the Complexity of proofs in a Frege system | Colloquium Logicum, Annals of Kurt-Godel-Society, v. 4, Vienna, 2001 and Bull of Symb. Logic, v. 8, N 1, Murch 2002, 128

Anahit A. Chubaryan

About the Complexity of proofs in Frege systems | CSIT Conference, Yerevan, 2001, 32-35

Anahit A. Chubaryan

On the complexity of deductions in any system of classical propositional calculus | Joint Workshop, ISU and IIAP of Armenia NAS, Yerevan 1999, IIAP of Armenia NAS, 7

Anahit A. Chubaryan

О сложности выводов отдельных классов формул | CSIT Conference, Yerevan, 1999, 7-8

Anahit A. Chubaryan

On the lengths of deductions in several logical systems | CSIT Conference, Yerevan, 1997, 24-25

Anahit A. Chubaryan

Сравнение длин выводов в некоторых системах ис¬числения высказываний | IX Всесоюзная конф. по матем. логике, Ленинград, 1988, 176

Anahit A. Chubaryan

О длинах выводов формул в расширениях формальной арифметики | III Всесоюзная конференция по матем. логике (Тезисы докладов), Новосибирск, 1974, 225-226.

Anahit A. Chubaryan

О некоторой нормальной форме и сложностных характеристиках выводов в классическом исчислении высказываний | Теория логического вывода, (тезисы док¬ладов Всесоюзного симпозиума), часть II, Москва, 1974, 169-172