Ինֆորմատիկայի և կիրառական մաթեմատիկայի ֆակուլտետ
Faculty of Informatics and Applied Mathematics
:
>
Anahit A. Chubaryan

Professor | Chair of Discrete Mathematics and Theoretical Informatics
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 Chubaryan , Garik Petrosyan, Sergey Sayadyan
Monotonous and strong monotonous properties of some propositional proof systems for Classical and Non Classical Logics
2019 | Thesis
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
2019 | Thesis
Logic Colloquium 2019, p. 152-153
|
Investigation of the Proof Complexity Measures of Strongly Equal K-Tautologies in Some Proof Systems
2019 | Article
Transactions on Machine Learning and Artificial Intelligence, 2019, Volume 7, No 1, pp. 56-63
|
Чубарян А. А. , Саядян С. М., Зограбян Г. М.
О свойствах монотонности и строгой монотонности пропозициональных систем резолюций классической и неклассических логик
2019 | Article
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
2019 | Article
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
2019 | Article
Sciences of Europe, 2019, Vol 1, # 37, pp. 39-44
|
Г. М. Зограбян, С. М. Саядян, А. А. Чубарян
Исследование свойства монотонности некоторых пропозициональных систем выводов классической и неклассических логик
2019 | Article
ՀՀ ԳԱԱ զեկույցներ, 2019, 119, 1, էջ 33-39
|
Universal system for many-valued logic, based on splitting method, and some of its properties
2019 | Article
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
2019 | Article
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 | Article
ՀՀ ԳԱԱ զեկույցներ, 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
2018 | Article
Logic Colloquium 2018. 122-123 pp.
|
Anahit Chubaryan , Artur Khamisyan
On some universal proof system for all versions of many-valued logics
2018 | Thesis
Logic Colloquium 2018. p. 95-96
|
Anahit Chubaryan , Artur Khamisyan
Two types of universal proof systems for all variants of many-valued logics and some properties of them
2018 | Article
Iran Journal of Computer Science. 2018, 1, 1-8 pp.
|
Чубарян А. А. , Саядян С. М.
"Слабые” системы выводов классического исчисления высказываний не монотонны
2018 | Article
Проблемы современной науки и образования. 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
2018 | Article
Journal of Asian Scientific Research. 2018, V.8, N2, 61-72 pp.
|
Саядян С. М., Чубарян А. А.
O свойстве немонотонности некоторых систем выводов классического исчисления высказываний
2018 | Article
Доклады НАН РА. 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 | Article
Вестник Российско-Армянского Университета: Физико-математические и естественные науки. 2018, 1, стр. 5-17
|
Հաշվարկելիության բարդության տեսության հիմնադրույթները
2017 | Book
Ուս. ձեռնարկ: ԵՊՀ հրատ.: 2017թ․, 62 էջ
Anahit Chubaryan , Artur Khamisyan
Application of Kalmar’s proof of deducibility in two valued propositional logic for many valued logic
2017 | Thesis
ASL, ESM, Logic Colloquium – 2017. p. 97
|
Anahit Chubaryan , Garik Petrosyan
On proof complexities for some classes of tautologies in Frege systems
2017 | Thesis
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
2017 | Thesis
ASL, ESM, Logic Colloquium – 2017. p. 98
|
Anahit Chubaryan , Artur Khamisyan, Garik Petrosyan
On some systems for two versions of many-valued logics
2017 | Book
LAP (Lambert Academic Publishing). 2017, 73 p.
Chubaryan A. A. , Tshitoyan A. S.
On some propositional proof systems for various logics
2017 | Article
Sciences of Europe. 2017, 11 (11), pp. 26-29
|
Chubaryan A. A. , Petrosyan G. W.
Some notes on proof complexities in Frege systems
2017 | Article
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
2017 | Article
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
2017 | Article
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
2017 | Article
Fundamentalis scientiam. 2017, 8(8), pp. 74-79
|
Anahit Chubaryan , Garik Petrosyan
The proof complexities relations for strongly equal classical tautologies in Frege systems
2016 | Thesis
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
2016 | Thesis
ASL, ESM, Logic Colloquium – 2016, p. 70
|
Chubaryan A. A. , Petrosyan G. W
The relations between the proof complexities of strongly equal classical tautologies in Frege systems
2016 | Article
Российско-Китайский международный научный журнал «Содружество», 2016, № I (1), стр. 78-81
|
А. А. Чубарян , А. С. Читоян, А. А. Хамисян
О некоторых системах доказательств для многозначных логик и сложностях выводов в них
2016 | Article
ՀՀ ԳԱԱ զեկույցներ, 2016թ․, том 116, N2, 108-114 էջ, Հայաստան
|
Анаит Чубарян , Артур Хамисян
Новый метод доказательства полноты пропозициональной системы трехзначной логики Лукасевича и его приложения
2016 | Article
Evolutio. Естественные науки, 2016, Вып 3 , стр. 9-12
|
Anahit Chubaryan , Garik Petrosyan
Frege systems are no monotonous
2016 | Article
Evolutio. Естественные науки, 2016, Вып 3, стр. 12-14
|
An. Chubaryan , Arm. Chubaryan, A.Tshitoyan
On lower bounds for steps and sizes of proofs in Frege systems
2015 | Article
CSIT-2015, Yerevan. 2015-09-28, 16-18 pp.
|
Resolution systems with restricted substitution rule
2012 | Thesis
CiE-2012, Cambridge, Abstracts,25
On the hierarchies of some propositional systems for classical and non-classical logics
2012 | Thesis
Mathematical Problems of Computer Science, 38, Yerevan, 2012, pp. 95-96
Some new propositional proof systems for intuitionistic and minimal logics
2012 | Thesis
Mathematical Problems of Computer Science, 38, Yerevan, 2012, pp. 44-45.
A Hierarchy of Resolution Systems with Restricted Substituted Rules
2012 | Article
Computer Technology and Applications, David Publishing, USA, Vol.3, N4, 2012, pp. 330-336
On efficiency of Intuitionistic and Minimal Frege systems without and with different substitution rules
2012 | Article
Nauka i Studia, 13 (58), Poland, 2012, pp. 117-124
The Properties of Determinative Disjunctive Normal Forms and Systems Based on Them
2012 | Article
Journal of Mathematics Research, Vol.4, No 6, Toronto, Published by Canadian Centre of Science and Education, 2012, pp.89-96
On determinative disjunctive normal Forms
2011 | Thesis
CSIT Conference 2011, Yerevan, 39-41
A hierarchy of Resolution with restricted substitution for Classical propositional Logic
2011 | Thesis
SciRP Workshop, Shanghai, China, 2011, 6-7
Resolution systems with restricted substitution for Intuitionistic and Minimal Logics
2011 | Thesis
SciRP Workshop, Shanghai, China, 2011, 7
Rabin style speed-up of proofs
2010 | Book
Monograph, LAP (Lambert Academic Publishing), Germany, 2010
A. A. Chubaryan , H. Nalbandyan
Comparison of proof sizes in Frege systems and Substitution Frege systems
2010 | Article
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
2010 | Article
Int. J. ITA, Bulgaria, 2010, Vol.17, N3, 289-299
Academic Discourse in Multicultural Aspects
2010 | Thesis
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
On the sizes in Frege proofs and Substitution Frege proofs
2010 | Thesis
ASL ESM, LC, Paris, 2010, 37.
On numerical properties of determinative normal forms
2010 | Thesis
LC-2010, Paris, 45
On the Rabin’s speed-up of proofs for some systems of first order logic (Առաջին կարգի տրամաբանության որոշ համակարգերում արտածումների Ռաբինի արագացման մասին)
2010 | Article
ԵՊՀ գիտական տեղեկագիր, Ֆիզիկա և մաթեմատիկա, 2010, #1, էջ 61–63
|
A. A. Chubaryan , S. Aleksanyan
The polynomial bounds of proof complexity in Frege systems
2009 | Article
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
2009 | Article
DNAN RA, Prikladnaja Matematika, 2009, V. 109, N 3, 208-213 (in Russian)
Proof Complexity of Hard-determinable Formula in R(lin)
2009 | Book
ASL ESM, LC-2009, Abstracts, Sofia, 27
Efficiency of Weak Substitution Rules
2009 | Thesis
ASL ESM, LC-2009, Abstract, Sofia, 37-38
Comparison of the Efficiency of Frege Systems with Restricted Substitution Rules
2009 | Thesis
CSIT, 2009, Yerevan, 31-32.
Ալգորիթմների տեսության խնդիրների ժողովածու
2008 | Book
Ուսումնական ձեոնարկ, ԵՊՀ հրատարակչություն, Երևան-2008 և http:users.freenet.am/~bolibek
A. A. Chubaryan , A. Chubaryan, S. Aleksanyan
Comparison of the Complexities in Frege Proofs with defferent Substition rules
2008 | Article
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
2008 | Article
Armenian Journal of Mathematics, V. 1, N 2, 2008, pp. 29-35
On the proof complexities in the Frege systems with different substitution rules
2008 | Thesis
ESM, ASL, Logic-Colloquium-2008, Bern, 37.
Relative efficiency of Frege Systems with different substitution rules
2008 | Thesis
ASL- 10, Kobe, Japan, 2008, 43
A. A. Chubaryan , A. Chubaryan, S. M. Sayadyan
The relative efficiency of propositional proof systems for classical and non-classical logic
2007 | Book
Book “Perspectives on Universal Logic”, ISP, Monza, Italy,2007, pp. 265-275
A. A. Chubaryan , A. Chubaryan
A new definition of Equality of Tautologies for various Logics
2007 | Article
L&PS, V.5, Issue 1, 2007, Triest, Italy, 3-8
A. A. Chubaryan , S. Aleksanyan
On determinative complexity of Frege Proofs
2007 | Article
XIV International Conference on LPAR, Proceedings of the short Papers Session, 2007, Yerevan, pp. 117-122
A new definition of Equality of Tautologies for various Logics
2007 | Thesis
I International Algebra and Geometry Confe¬rence, 2007, Yerevan, 11
On determinative complexity of Frege Proofs
2007 | Thesis
XIV International Conference on LPAR, Proceedings of the short Papers Session, 2007, Yerevan, 117-122
On the most generalized speed-up in first order logic
2006 | Article
Proceedings of the Logic Colloquium 2005, Athens (and the Bulletin of Symbolic Logic, v. 12, No. 2, 2006), p. 59 (p. 328)
On the most generalized speed-up in first order logic
2006 | Thesis
Logic-Colloquium 2005 ESM, ASL, Athens, 59, and the Bulletin of Symbolic Logic, v. 12, N 2, June, 2006, 328
The relative efficiency of different propositional proof systems
2006 | Thesis
Logic-Colloquium 2005 ESM, ASL, Athens, 58, and the Bulle¬tin of Symbolic Logic, v. 12, N 2, June, 2006, 327
Об эффективности различных систем классических и неклассических логик
2005 | Article
ДАН, РФ, Математика, т. 404, N 2, 2005, and DMS 5/1, 2005, MAIK “Nauka/Interperiodika”,166-168
О сложности выводов в некоторых системах классического исчисления высказываний
2005 | Article
“Математические вопросы кибернети¬ки”, вып. 14, 2005, М., Физматлит, с. 49-56
On the proofs complexity in the Resolution systems of Intuitionistic and Minimal propositional logic
2005 | Thesis
Logic Colloquium 2004, Torino, Italy, Abstracts, 62, and Bulletin of Symb. Logic, v. 11, N 2, 2005, 271-272
The relative efficiency of propositional proof systems for classical and non-classical logic
2005 | Thesis
1st World Congress Unilog, Montreux, Switzerland, Handbook 2005, 18
Comparison of efficiency of of some proof systems for classical and non-classical logic
2005 | Thesis
CSIT-2005, Yerevan, 39-42
On some properties of Frege proofs
2005 | Thesis
CSIT-2005, Yerevan, 35-38
On some proof systems for I. Johansson’s minimal logic of predicates
2004 | Article
Proceedings of the Logic Colloquium 2003, Helsinki (and the Bulletin of Symbolic Logic, v. 10, No. 2, 2004), p. 56 (p.250)
On some proof systems for I. Johansson's minimal logic of predicates
2004 | Thesis
Logic Colloquium 2003, Helsinki, Finland, Aug. 14-20, Abstracts, and Bulletin of Symb. Logic, v.10, N2, 2004, 31
On the proofs complexity in CPL
2003 | Thesis
Logic Colloquium-2002, Muenster, Germany, 30-31, and Bulletin of Symbolic Logic, v. 9, N 1, Murch 2003,167
On the proofs complexity in intuitionistic and minimal propositional logic
2003 | Thesis
Logic Colloquium-2002, Muenster, Germany, 45, and Bulletin of Symbolic Logic, v. 9, N 1, Murch 2003, 172
On the proofs complexity in some "weak" systems of CPL
2003 | Thesis
12-th International Congress of Logic, Methodology and Philosophy of Science, Volume of Abstracts, Spain, Oveido, 2003,61-62
On the Bounds of the Proofs Complexity in Some "Weak" Systems of Classical Propositional Logic
2003 | Thesis
CSIT Conference, Yerevan, 2003, 86-87
О секвенциальных системах слабых арифметик
2002 | Article
ДНАН Армении, Прикладная математика, 2002, 102, т. 3, ц. 214-218
Относительная эффективность некоторых систем доказательств классической пропозициональной логики
2002 | Article
Известия НАН РА, т. 37, N 5, 2002, and Journal of CMA (AAS), v. 37, N5, 2002, 71-84
О минимальных секвенциальных исчислениях арифметики Робинсона (Ռոբինսոնի թվաբանության մինիմալ սեկվենցիալ հաշիվների մասին)
2002 | Article
ԵՊՀ Գիտական տեղեկագիր, Բնական գիտություններ, 2002, #3, էջ 20-22 (ռուսերեն)
|
О секвенциальных системах слабых арифметик
2002 | Article
ДНАН Армении, Прикладная математика, 2002, 102, т. 3, ц. 214-218
О минимальных секвенциальных исчислениях арифметики Робинсона
2002 | Book
Ученые записки ЕГУ, 3, 2002, 20 – 22
On the Complexity of proofs in a Frege system
2002 | Thesis
Colloquium Logicum, Annals of Kurt-Godel-Society, v. 4, Vienna, 2001 and Bull of Symb. Logic, v. 8, N 1, Murch 2002, 128
О некоторой системе классического исчисления высказываний (Ասույթային դասական հաշվի մեկ համակարգի վերաբերյալ)
2001 | Article
ԵՊՀ Գիտական տեղեկագիր, Բնական գիտություններ, 2001, #2, էջ 22-26 (ռուսերեն)
|
About the Complexity of proofs in Frege systems
2001 | Thesis
CSIT Conference, Yerevan, 2001, 32-35
Արտածումների որոշ բարդությունների հետազոտում
2000 | Article
Երիտասարդ գիտնականների հոդվածների հոբելյանական ժողովածու, ԵՊՀ, 2000, էջ 16-20
О нижних оценках выводов в системах Фреге с подстановками
2000 | Article
ДНАН Армении, Прикладная матема¬тика, т. 100, N 3, 2000, 223-227
The powers of the essential subformulaes sets in Frege proofs and substitution Frege proofs
2000 | Article
Mathematical Problems of Computer Science (Матем. воп¬ро¬сы кибернетики и вычислит. техники), Е., Изд-во НАН РА, т. 21, 2000, с. 116-118
The Complexity in Frege Poofs with Substitution
2000 | Article
Mathematical Problems of Computer Science, (Матем. вопросы кибернетики и вычислит. техники), Е., Изд-во НАН РА, т. 21, 2000, pp. 7-11
Արտածումների որոշ բարդությունների հետազոտում
2000 | Article
Երիտասարդ գիտնականների հոդվածների ժողովածու, Եր., 2000, 2, 16 – 21
О сложности выводов в некоторой системе классического исчисления высказываний
1999 | Article
Изв. НАН Армении, Математика, т. 34, N 5, 1999 and Journal of CMA (AAS), v. 34, N5, 1999, 16-26
Сравнение выводов в системах Фреге и системах Фреге с правилом подстановки
1999 | Article
Известия НАН РА, Математика, т. 35, N 5, 2000 and Journal of CMA (AAS), v. 35, N5, 1999, с. 21-29
On the complexity of deductions in any system of classical propositional calculus
1999 | Thesis
Joint Workshop, ISU and IIAP of Armenia NAS, Yerevan 1999, IIAP of Armenia NAS, 7
О сложности выводов отдельных классов формул
1999 | Thesis
CSIT Conference, Yerevan, 1999, 7-8
On the lengths of deductions in several logical systems
1997 | Thesis
CSIT Conference, Yerevan, 1997, 24-25
Сравнение длин выводов в некоторых системах ис¬числения высказываний
1988 | Thesis
IX Всесоюзная конф. по матем. логике, Ленинград, 1988, 176
A. A. Chubaryan , G. Zoryan, A. Jugaryan
О сложности расщепления для некоторых классов формул
1987 | Article
Прикладная математика, вып. 5, Изд-во ЕГУ, 1987, 121-129
Ավտոմատներ և Թյուրինգի մեքենաներ
1984 | Book
Ուսումնական ձեռնարկ, ԵՊՀ հրատարակչություն, Երևան 1984
О сложностных характеристиках выводов в системах исчисления предикатов и формальной арифметики
1982 | Article
"Математические вопросы кибернетики и вычислительной техники", Ереван, Изд-во АН Арм. ССР, X, 1982, 124-139
О сравнении длин выводов в различных системах исчисления высказываний
1982 | Article
Второй чехословацко-советский семи¬нар молодых ученых по математической информатике, Братислава, 1982, 145-150
О сложности выводов в различных системах исчисления высказываний
1981 | Article
Прикладная математика, вып. 1, Изд-во ЕГУ, 1981, 81-89
О сложности выводов в формальной арифметике и исчислении предикатов
1977 | Article
ДАН Арм. ССР, т. LXIV, N 4, 1977, 193-196
A. A. Chubaryan , Г. Цейтин
О некоторых оценках длин логических выводов в классическом исчислении высказываний
1975 | Article
"Математические вопросы кибернетики и вычислительой техники", Ереван, Изд-во АН Арм ССР, 1975, 57-64
A. A. Chubaryan , Nugen Van Tin
Некоторые оценки сложностных характеристик выводов в классическом исчислении высказываний
1975 | Article
"Молодой научный работник", Ереван, Изд-во ЕГУ, N 2 (22), 1975, 47-54.
О длинах выводов формулы в расширениях формальной арифметики
1974 | Article
Изд-во АН ССР, IX, N 5, 1974, 409-420
О сложности выводов в расширениях формальной арифметики
1974 | Article
"Молодой научный работник", Изд-во ЕГУ, N 2 (20), 1974, 60-63
О некоторой нормальной форме и сложностных характеристиках выводов в классическом исчислении высказываний
1974 | Article
Изв. АН Арм. ССР, т. X, N 5, 1974, 398-409
О длинах выводов формул в расширениях формальной арифметики
1974 | Thesis
III Всесоюзная конференция по матем. логике (Тезисы докладов), Новосибирск, 1974, 225-226.
О некоторой нормальной форме и сложностных характеристиках выводов в классическом исчислении высказываний
1974 | Thesis
Теория логического вывода, (тезисы док¬ладов Всесоюзного симпозиума), часть II, Москва, 1974, 169-172
A. A. Chubaryan , Г. Цейтин
Некоторые оценки длин логических выводов в классическом исчислении высказываний
1972 | Article
ДАН Арм. ССР, т. LV, N 1, 1972, 10-12