achubaryan@ysu.am
Faculty of Informatics and Applied Mathematics
Chair of Discrete Mathematics and Theoretical Informatics
Professor

Personal information

Date of birth
1946

Publications

Article
Сравнение длин линейных и древовидных выводов некоторых семейств формул в ряде систем исчисления высказываний
Л. A. Апинян
А. A. Чубарян
ՀՀ ԳԱԱ զեկույցներ
2022
125-132
Article
ИССЛЕДОВАНИЕ СВОЙСТВ МОНОТОННОСТИ И СТРОГОЙ МОНОТОННОСТИДВУХ ПРОПОЗИЦИОНАЛЬНЫХ СИСТЕМ КЛАССИЧЕСКОЙ ЛОГИКИ
Чубарян А.А.
Зограбян Г.М.
Sciences of Europe
2021
60-62
Article
О некоторых свойствах минимальных тавтологий классической и неклассических логик
А. А. Чубарян
A. A. Aмбарцумян
Г. А. Гаспарян
С. А. Ованнисян
ՀՀ ԳԱԱ զեկույցներ
2020
15-21
Article
O НЕМОНОТОНОСТИ ГИЛЬБЕРТОВСКИХ СИСТЕМ ИСЧИСЛЕНИЯ ВЫСКАЗЫВАНИЙ КЛАССИЧЕСКИХ И НЕКЛАССИЧЕСКИХ ЛОГИК
Амбарцумян А.А.
Чубарян А.А
Sciences of Europe
2020
59-62
Article
On three types of universal propositional proof systems for all versions of many-valued logics and some its properties.
ANAHIT CHUBARYAN
HAKOB NALBANDYAN
ARTUR KHAMISYAN
EasyChair Preprint
2020
1-3
Article
On monotonous and strongly monotonous properties of some propositional proof systems for different logics.
ANAHIT CHUBARYAN
SERGEY SAYADYAN
ARSEN HAMBARDZUMYAN
EasyChair Preprint
2020
1-3
Article
О СВОЙСТВАХ МОНОТОННОСТИ И СТРОГОЙ МОНОТОННОСТИ ПРОПОЗИЦИОНАЛЬНЫХ СИСТЕМ РЕЗОЛЮЦИЙ КЛАССИЧЕСКОЙ И НЕКЛАССИЧЕСКИХ ЛОГИК
Чубарян А.А.
Саядян С.М.
Зограбян Г.М.
Sciences of Europe
2019
74-77
Article
Исследование свойства монотонности некоторых пропозициональных систем выводов классической и неклассических логик
Г.М. Зограбян
С.М. Саядян
А.А. Чубарян
ՀՀ ԳԱԱ զեկույցներ
2019
33-39
Address: Republic of Armenia, Yerevan, 0025, 1 Alex Manoogian (+37460) 710000 info@ysu.am