Описание

Научные интересы

• Математическая логика
• Теория выводов
• Сложности выводов

Список основных публикаций

• Chubaryan Anahit, Karabakhtsyan Arman, PetrosyanGarik, ON SOME PROPERTIES OF SEVERAL PROOF SYSTEMS FOR NON CLASSICAL PROPOSITIONAL LOGICS, Вестник РАУ, N 1, 2018, 5-17
• 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, https://doi.org/10.1007/s42044-018-0015-4
• Саядян С. М.,Чубарян А. А., O свойстве немонотонности некоторых систем выводов классического исчисления высказываний, ДНАН АР,том 118, N1, 2018, 20-25
• Chubaryan A., Karabakhtsyan A., Petrosyan G., Some properties of several proof systems for Intuitionistic, Johansson’s and Monotone propositional logics, JASR, V.8, N 2,2018, 61-72
• Чубарян А.А., Саядян С.М., “Слабые” системы выводов классического исчисления высказываний не монотонны, Проблемы современной науки и образования, N 2, (122), И-во «Проблемы науки», 2018, 5-10
• Anahit Chubaryan, Garik Petrosyan, On some properties of several proof systems for 2-valued and 3-valued propositional logic, Fundamentalis Scientiam, Vol.8(8), Spain, 2017, 70-73
• Chubaryan Anahit, Khamisyan Artur, Arman Tshitoyan, On some systems for Łukasiewicz’s many-valued logic and its properties, Fundamentalis Scientiam, Vol.8(8), Spain, 2017, 74-79
• Chubaryan Anahit, Khamisyan Artur, Generalization of Kalmar’s proof of deducibility in two valued propositional logic into many valued logic, Pure and Applied Mathematics Journal, Vol 6, No. 2, 2017, doi: 10.116448/j.pamj. 20170602.12.,71-75
• Chubaryan A.A., Petrosyan G.W., Some notes on proof complexities in Frege systems, Sciences of Europe, Vol 1, # 12 (12), Physics and Mathematics, 2017, 31-34
• Chubaryan A.A., Tshitoyan A.S., On some propositional proof systems for various logics, Sciences of Europe, Vol 1, # 11 (11), Physics and Mathematics, 2017, 26-29
• Анаит Чубарян, Артур Хамисян, Новый метод доказательства полноты пропозициональной системы трехзначной логики Лукасевича и его приложения, Evolutio, Естественные науки, Вып 3, 2016,9-12
• Anahit Chubaryan, Garik Petrosyan, Frege systems are no monotonous, Evolutio, Естественные науки, Вып 3, 2016, 12-14
• А.А.Чубарян, А.С.Читоян, А.А. Хамисян, О некоторых системах доказательств для многозначных логик и сложностях выводов в них, ДНАН АР,том 116, N2, 2016, 18-24
• A.Chubaryan, G.Petrosyan, The relations between the proof complexities of strongly equal classical tautologies in Frege systems, Pоссийско-китайский научный журнал «Содружество» № I (1), 2016 / ФИЗ-МАТ НАУКИ,78-80
• An.Chubaryan, A.Mnatsakanyan, H.Nalbandyan, On some propositional proof system for modal logic, НАУ, Отечественная наука в эпоху изменений: постулаты прошлого и теории нового времени, часть 10, 2(7), 2015, стр.14-16
• Чубарян Ан.А., Чубарян Арм.А., Оценки некоторых сложностных характеристик выводов в системе обобщенных расщеплений, НАУ, Отечественная наука в эпоху изменений: постулаты прошлого и теории нового времени, часть 10, 2(7), 2015, стр.11-14.
• An. Chubaryan, A.Mnatsakanyan, Super linear lower bounds for steps of proofs in some Frege system, News of Science and Education, Sheffield, SCIENCE AND EDUCATION LTD, NR 21(21) 2014, pp.104-110
• An. Chubaryan, A.Mnatsakanyan, On the bounds of the main proof measures in some propositional roof systems, Scholar Journal of Phis. Math. And Stat.,2014, Vol.1,Issue-2, pp.111-117
• An.Chubaryan, Arm. Chubaryan, A.Mnatsakanyan, Proof complexities of strongly equal classical tautologies in some proof systems, Nauka i Studia, NR 42 (110) 2013, pp.92-98
• An. Chubaryan, S. Sayadyan, On the Proof Complexities of Strongly Equal Non-classical Tautologies, British Journal of Mathematics & Computer Science 4(15): XX-XX, 2014,pp.2170-2176,SCIENCEDOMAIN international, sciencedomain.org
• С.М.Саядян, Ан.Чубарян, О некоторых системах доказательств для интуиционистской и минимальной пропозициональных логик, ДАН НАН РА, т. 1, 2013,13-21
• An.Chubaryan, Arm.Chubaryan, A.Tshitoyan, Refutation of hard-determinable formulas in the system “Resolution over Linear Equations” and its generalization, Pure and Applied Mathematics Journal,USA, 2013; 2(3); 128-133.
• An.,Chubaryan, Arm.Chubaryan, A.Tshitoyan, 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
• An.Chubaryan, H.Nalbandyan, On efficiency of Intuitionistic and Minimal Frege systems without and with different substitution rules, Nauka i Studia, 13 (58), Poland, 2012, pp.117-124
• An.Chubaryan, Arm.Chubaryan, H.Nalbandyn, S.Sayadyan, A Hierarchy of Resolution Systems with Restricted Substituted Rules, Computer Technology and Applications, David Publishing, USA, Vol.3, N4,2012,330-336
• A.Abajyan, An.Chubaryan, Proof complexities of some propositional formulae classes in different refutation systems, Int. J. ITA, Bulgaria, 2010, Vol.17, N3, 289-299
• An.Chubaryan, H.Nalbandyan, Comparison of proof sizes in Frege systems and Substitution Frege systems. Int.J. ITA, Bulgaria, 2010, Vol.17, N 2, 146-153
• An.Chubaryan, H.Bolibekyan, On the Rabin’s speed-up of proofs for some systems of first order logic, Proceedings of YSU, Mathematics, 2010, N 1, 61-63
• An.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)
• S.Aleksanyan, An.Chubaryan, The polynomial bounds of proof complexity in Frege systems, Siberian Mathematical Journal, Springer Verlag, V. 50, N 2, 2009, 243-249
• An.Chubaryan, Arm.Chubaryan, Definition of Strong Equality of Tautologies and Universal System for Various Propositional Logics, Armenian Journal of Mathematics, V. 1, N 2, 2008, 29-35
• An.Chubaryan, Arm.Chubaryan, S.Aleksanyan, Comparison of the Complexities in Frege Proofs with defferent Substition rules, Mathematical Problems of Computer Science, 30, NAS RA, 2008, 36-39
• An.Chubaryan, S.Aleksanyan, On determinative complexity of Frege Proofs , XIV International Conference on LPAR, Proceedings of the short Papers Session, 2007, Yerevan, 117-122
• An.Chubaryan, Arm.Chubaryan, A new definition of Equality of Tautologies for various Logics, L&PS, V.5, Issue 1, 2007, Triest, Italy, 3-8.
• Ан.Чубарян, О сложности выводов в некоторых системах классического исчисления высказываний, “Математические вопросы кибернетики”, вып. 14, 2005, М., Физматлит, 49-56
• Ан.Чубарян, Об эффективности различных систем классических и неклассических логик, ДАН, РФ, Математика, т. 404, N 2, 2005, and DMS 5/1, 2005, MAIK “Nauka/Interperiodika”,166-168
• An.Chubaryan, Arm.Chubaryan, Sayadyan S.M., The relative efficiency of propositional proof systems for classical and non-classical logic, Book “Perspectives on Universal Logic”, ISP, Monza, Italy,2007, 265-275
• Ан.Чубарян, Относительная эффективность некоторых систем доказательств классической пропозициональной логики, Известия НАН РА, т. 37, N 5, 2002, and Journal of CMA (AAS), v. 37, N5, 2002, 71-84
• Ан.Чубарян, О.Болибекян, О секвенциальных системах слабых арифметик, ДНАН Армении, Прикладная математика, 2002, 102, т. 3, 214-218
• An.Chubaryan, The Complexity in Frege Poofs with Substitution, Mathematical Problems of Computer Science, (Матем. вопросы кибернетики и вычислит. техники), Е., Изд-во НАН РА, т. 21, 2000, 7-11
• Ан.Чубарян, О некоторой системе классического исчисления высказываний, Ученые записки ЕГУ, т. 2, 2001, 22-26
• Ан.Чубарян, Сравнение выводов в системах Фреге и системах Фреге с правилом подстановки, Известия НАН РА, Математика, т. 35, N 5, 2000 and Journal of CMA (AAS), v. 35, N5, 1999, 21-29
• An.Chubaryan, The powers of the essential subformulaes sets in Frege proofs and substitution Frege proofs, Mathematical Problems of Computer Science (Матем. вопросы кибернетики и вычислит. техники), Е., Изд-во НАН РА, т. 21, 2000, 116-118
• Ан.Чубарян, О нижних оценках выводов в системах Фреге с подстановками, ДНАН Армении, Прикладная математика, т. 100, N 3, 2000, 223-227
• Ан.Чубарян, О сложности выводов в некоторой системе классического исчисления высказываний, Изв. НАН Армении, Математика, т. 34, N 5, 1999 and Journal of CMA (AAS), v. 34, N5, 1999, 16-26
• Ան.Չուբարյան, Հ.Բոլիբեկյան, Արտածումների որոշ բարդությունների հետազոտում, Երիտասարդ գիտնականների հոդվածների հոբելյանական ժողովածու, ԵՊՀ, 2000, 16-20
• Ан.Чубарян, Г.Зорян, А.Джугарян, О сложности расщепления для некоторых классов формул, Прикладная математика, вып. 5, Изд-во ЕГУ, 1987, 121-129
• Ан.Чубарян, О сравнении длин выводов в различных системах исчисления высказываний, Второй чехословацко-советский семинар молодых ученых по математической информатике, Братислава, 1982, 145-150
• Ан.Чубарян, О сложностных характеристиках выводов в системах исчисления предикатов и формальной арифметики, "Математические вопросы кибернетики и вычислительной техники", Ереван, Изд-во АН Арм. ССР, X, 1982, 124-139
• Ан.Чубарян, О сложности выводов в различных системах исчисления высказываний, Прикладная математика, вып. 1, Изд-во ЕГУ, 1981, 81-89
• Ан.Чубарян, О сложности выводов в формальной арифметике и исчислении предикатов, ДАН Арм. ССР, т. LXIV, N 4, 1977, 193-196.
• Ан.Чубарян, Нгуен Вань Тинь, Некоторые оценки сложностных характеристик выводов в классическом исчислении высказываний, "Молодой научный работник", Ереван, Изд-во ЕГУ, N 2 (22), 1975, 47-54.
• Ан.Чубарян, О некоторой нормальной форме и сложностных характеристиках выводов в классическом исчислении высказываний, Изв. АН Арм. ССР, т. X, N 5, 1974, 398-409
• Г.Цейтин, Ан.Чубарян, О некоторых оценках длин логических выводов в классическом исчислении высказываний, "Математические вопросы кибернетики и вычислительой техники", Ереван, Изд-во АН Арм ССР, 1975, 57-64
• Ан.Чубарян, О сложности выводов в расширениях формальной арифметики, "Молодой научный работник", Изд-во ЕГУ, N 2 (20), 1974, 60-63
• Ан.Чубарян, О длинах выводов формулы в расширениях формальной арифметики, Изд-во АН ССР, IX, N 5, 1974, 409-420.
• Г.Цейтин, Ан.Чубарян, Некоторые оценки длин логических выводов в классическом исчислении высказываний, ДАН Арм. ССР, т. LV, N 1, 1972, 10-12
• ANAHIT CHUBARYAN, ARTUR KHAMISYAN, On some universal proof system for all versions of many-valued logics , ASL, ESM, Logic Colloquium – 2018, Udine, Italy, Program and Abstracts, 95-96.
• ANAHIT CHUBARYAN, GARIK PETROSYAN, On the relations between the proof complexity measures of strongly equal k-tautologies in some proof systems, ASL, ESM, Logic Colloquium – 2018, Udine, Italy, Program and Abstracts, 122-123.
• 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, Stockholm, Programme and Abstracts, LC2017-Book, 97, The Bulletin of Symbolic Logic, Vol.24, No 2, 2018, 238-239.
• Anahit Chubaryan, Garik Petrosyan, On proof complexities for some classes of tautologies in Frege systems, ASL, ESM, Logic Colloquium – 2017, Stockholm, Abstracts, Programme and Abstracts, LC2017-Book, 99, The Bulletin of Symbolic Logic, Vol.24, No 2, 2018, 240
• Anahit Chubaryan, Hakob Nalbandyan, Arman Karabakhtsyan, Garik Petrosyan, Propositional sequent systems of two valued classical logic and many valued logics are no monotonous, ASL, ESM, Logic Colloquium – 2017, Stockholm, Abstracts, Programme and Abstracts, LC2017-Book, 98, The Bulletin of Symbolic Logic, Vol.24, No 2, 2018, 239-240
• 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, Leeds, Volume of Abstracts, 70, The Bulletin of Symbolic Logic, Vol.23, No 2, 2017,260-261
• Anahit Chubaryan, Garik Petrosyan, The proof complexities relations for strongly equal classical tautologies in Frege systems, ASL, ESM, Logic Colloquium – 2016, Leeds, Volume of Abstracts, 69-70, The Bulletin of Symbolic Logic, Vol.23, No 2, 2017,260
• Anahit Chubaryan, Arman Tshitoyan, Improvement of lower bounds for steps and sizes of proofs in Frege systems, Third St.Petersburg Days of LOGIC and COMPUTABILITY devoted to the memory of Grigory MINTS (1939--2014),August 24-26, 2015, St.Petersburg, Russia. http://www.pdmi.ras.ru/EIMI/2015/LC/index.htm
• An.Chubaryan, Arm. Chubaryan, A.Tshitoyan, Some notes about lower bounds for steps and sizes of proofs in Frege systems. Logic Colloquium 2015 LC 2015Annual European Summer Meeting of the Association for Symbolic Logic (ASL) University of Helsinki, 3–8 August 2015, The Bulletin of Symb. Logic V.22, N3, 2016, 391-392
• An. Chubaryan, Arm. Chubaryan, H.Nalbandyan, S. Sayadyan, On some universal system for various propositional logics. Logic Colloquium 2015 LC 2015Annual European Summer Meeting of the Association for Symbolic Logic (ASL) University of Helsinki, 3–8 August 2015, The Bulletin of Symb. Logic V.22, N3, 2016, 391.
• An.Chubaryan, Arm. Chubaryan, A.Tshitoyan, On lower bounds for steps and sizes of proofs in Frege systems, Proceedings of CSIT-2015, Yerevan
• An.Chubaryan, Arm. Chubaryan, Comparative analysis of proof complexities for strongly equal tautologies in some proof systems of different logics, 14th Asian Logic Conference (ALC 2015), Accepted Abstracts, www.cse.iitb.ac.in/alc15/
• An.Chubaryan, Arm. Chubaryan,Comparison of proof complexity for strongly equal tautologies in some proof systems, Second Joint International Meeting of the IMU-AMS, June, 2014, Abstracts, pp.16-17
• Chubaryan An., Mnatsakanyan A., Nalbandyan H., On proof complexities of strong equal modal tautologies, LC-2014, Vienna, Austria, Abstracts pp. 42-43
• An. Chubaryan, A. Mnatsakanyan, Proof Systems and Satisfiability Problem,CSIT-2013 Yerevan,pp.27-29.
• An.Chubaryan, Arm. Chubaryan, Some propositional proof systems for various logics, ASL, ESM, Logic Colloquium-2013, Evora, Volume of Abstracts, pp. 34
• An. Chubaryan, A. Mnatsakanyan, On some new propositional proof systems, CiE-2013, Milan, Collection of Abstracts, pp.9
• An.Chubaryan, S,Sayadyan, Some new propositional proof systems for intuitionistic and minimal logics, Mathematical Problems of Computer Science, 38, Yerevan, 2012, pp.44-45
• An.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
• An.Chubaryan, Arm.Chubaryan Resolution systems with restricted substitution rule, CiE-2012, Cambridge, Abstracts,25
• An.Chubaryan, Arm.Chubaryan, S.Sayadan, Resolution systems with restricted substitution for Intuitionistic and Minimal Logics, SciRP Workshop, Shanghai, China, 2011,7
• An.Chubaryan, Arm.Chubaryan, H.Nalbandyan, A hierarchy of Resolution with restricted substitution for Classical propositional Logic, SciRP Workshop, Shanghai, China, 2011,6-7
• An.Chubaryan, Arm.Chubaryan, A.Abajyan, On determinative disjunctive normal Forms, CSIT Conference 2011, Yerevan, 39-41.
• An.Chubaryan, Arm.Chubaryan, A.Abajyan, On numerical properties of determinative normal forms, LC-2010, Paris, 45.
• An.Chubaryan, Arm.Chubaryan, H.Nalbandyan, On the sizes in Frege proofs and Substitution Frege proofs, ASL ESM, LC, Paris, 2010, 37
• An.Chubaryan, Arm.Chubaryan, H.Nalbandyan, Comparison of the Efficiency of Frege Systems with Restricted Substitution Rules, CSIT, 2009, Yerevan, 31-32
• An.Chubaryan, Arm.Chubaryan, H.Nalbandyan, Efficiency of Weak Substitution Rules, ASL ESM, LC-2009, Abstract, Sofia, 37-38
• A.Abajyan, An.Chubaryan, Proof Complexity of Hard-determinable Formula in R(lin), ASL ESM, LC-2009, Abstracts, Sofia, 27.
• An.Chubaryan, Arm.Chubaryan, Relative efficiency of Frege Systems with different substitution rules, ASL- 10, Kobe, Japan, 2008, 43
• An.Chubaryan, Arm.Chubaryan, On the proof complexities in the Frege systems with different substitution rules, ESM, ASL, Logic-Colloquium-2008, Bern, 37
• An. Chubaryan, S. Aleksanyan, On determinative complexity of Frege Proofs, XIV International Conference on LPAR, Proceedings of the short Papers Session, 2007, Yerevan, 117-122
• An.Chubaryan, Arm.Chubaryan, A new definition of Equality of Tautologies for various Logics, I International Algebra and Geometry Conference, 2007, Yerevan, 11.
• An.Chubaryan, S.Aleksanyan, On some properties of Frege proofs, CSIT-2005, Yerevan, 35-38.
• An.Chubaryan, S.Sayadyan, Comparison of efficiency of of some proof systems for classical and non-classical logic, CSIT-2005, Yerevan, 39-42.
• An.Chubaryan, S.Sayadyan, The relative efficiency of different propositional proof systems, Logic-Colloquium 2005 ESM, ASL, Athens, 58, and the Bulletin of Symbolic Logic, v. 12, N 2, June, 2006, 327.
• An.Chubaryan, Arm.Chubaryan, H.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
• An.Chubaryan, Arm.Chubaryan, S.Sayadyan, The relative efficiency of propositional proof systems for classical and non-classical logic, 1st World Congress Unilog, Montreux, Switzerland, Handbook 2005, 18
• An.Chubaryan, Arm.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
• An.Chubaryan, Arm.Chubaryan, S.Aleksanyan, On the Bounds of the Proofs Complexity in Some "Weak" Systems of Classical Propositional Logic, CSIT Conference, Yerevan, 2003, 86-87
• An.Chubaryan, H.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
• An.Chubaryan, Arm.Chubaryan, S.Aleksanyan, 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
• An.Chubaryan, H.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
• An.Chubaryan, Arm.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
• An.Chubaryan, About the Complexity of proofs in Frege systems, CSIT Conference, Yerevan, 2001, 32-35
• An.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
• Ан.Чубарян, О сложности выводов отдельных классов формул, CSIT Conference, Yerevan, 1999, 7-8
• An.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.
• An.Chubaryan, On the lengths of deductions in several logical systems, CSIT Conference, Yerevan, 1997, 24-25.
• Ан.Чубарян, С.Далакян, О некотором свойстве усеченности логических выводов, X Всесоюзная конф. по матем. логике, Алма-Ата, 1990, 37
• Ан.Чубарян, Сравнение длин выводов в некоторых системах исчисления высказываний, IX Всесоюзная конф. по матем. логике, Ленинград, 1988, 176.
• Ан.Чубарян, О некоторой нормальной форме и сложностных характеристиках выводов в классическом исчислении высказываний, Теория логического вывода, (тезисы докладов Всесоюзного симпозиума), часть II, Москва, 1974, 169-172
• Ан.Чубарян, О длинах выводов формул в расширениях формальной арифметики, III Всесоюзная конференция по матем. логике (Тезисы докладов), Новосибирск, 1974, 225-226.
• An.Chubaryan, Rabin style speed-up of proofs, Monograph, LAP (Lambert Academic Publishing), Germany, 2010
• Anahit Chubaryan, Artur Khamisyan, Garik Petrosyan, On some systems for two versions of many-valued logics and its properties, Lambert Academic Publishing (LAP), 2017, 80 pages.
• Даштоян Л.Л., Чубарян А.А., Задачник-практикум по теории алгоритмов (методическое пособие), РАУ, Институт математики и высоких технологий, Ереван-2014
• Ան.Չուբարյան, Ռ.Տոնոյան, Ավտոմատներ և Թյուրինգի մեքենաներ, ԵՊՀ հրատարակչություն, Երևան 1984.
• Ան.Չուբարյան, Հ.Բոլիբեկյան, Հ.Մովսիսյան, Ալգորիթմների տեսության խնդիրների ժողովածու (մեթոդական ձեռնարկ), ԵՊՀ հրատարակչություն, Երևան-2008 և http:\\users.freenet.am/~bolibek
• Ա.Ա. Չուբարյան, Հ.Գ. Մովսեսյան, Ս.Մ. Սայադյան, Հաշվարկելիության բարդության տեսության հիմնադրույթները, Ուսումնական ձեռնարկ, ԵՊՀ հրատարակչություն,Երևան-2017

Дисциплины

• Теория алгоритмов и математическая логика