Browse by Person
Number of items: 3. Саядян, С. М. and Чубарян, А. А. (2018) O свойстве немонотонности некоторых систем выводов классического исчисления высказываний. ՀՀ ԳԱԱ Զեկույցներ, 118 (1). pp. 20-25. ISSN 0321-1339 Зограбян, Г. М. and Саядян, С. М. and Чубарян, А. А. (2019) Исследование свойства монотонности некоторых пропозициональных систем выводов классической и неклассических логик. ՀՍՍՀ ԳԱ Զեկույցներ, 119 (1). pp. 33-39. ISSN 0321-1339 Саядян, С. М. and Чубарян, Анаит А. (2013) О некоторых системах доказательств для интуиционистской и минимальной пропозициональных логик. ՀՀ ԳԱԱ Զեկույցներ, 113 (1). pp. 13-21. ISSN 0321-1339 |