"ՀՀ ԳԱԱ Զեկույցներ" հանդեսը հիմնադրվել է 1944թ.: Լույս է տեսնում տարին 4 անգամ:
ՀՀ ԳԱԱ Զեկույցներ = Доклады НАН РА = Reports NAS RA
Պատ․ խմբ.՝ Վ. Հ․ Համբարձումյան (1944-1959) ; Մ․ Մ․ Ջրբաշյան (1960-1965) ; Ա․ Գ․ Նազարով (1966-1983) ; Պատ․ խմբ․ տեղակալ՝ Վ․ Հ․ Ղազարյան (1983-1986) ; Պատ․ խմբ․՝ Դ․ Մ․ Սեդրակյան (1987-1999) ; Գլխավոր խմբ․՝ Ս․ Ա․ Համբարձումյան (2000-2004) ; Վ․ Ս․ Զաքարյան (2005-2018) ; Ռ․ Մ․ Մարտիրոսյան (2018-)
Для тавтологий заданной логики длины n доказано, что максимально возможное количество различных минимальных тавтологий имеет экспоненциальную оценку от n; доказана также монотонность пропозициональных секвенциальных систем без правила сечения для классической, интуиционистской, монотонной логик и логики Иоганссона. Ապացուցված է, որ տվյալ տրամաբանության n երկարությամբ նույնաբանությունների մաքսիմալ հնարավոր քանակը կարող է լինել ցուցչային ֆունկցիա n-ից առանց հատույթի կանոնի դասական, ինտուիցիոնիստական, մինիմալ և մոնոտոն տրամաբանությունների սեքվենցիալ համակարգերը մոնոտոն են։ It is proved in this paper that 1) number of minimal tautologies for any given logic tautology of size n can be exponentaial function in n, and 2) cut free sequent systems for classical, intuitionistic, Joganssons and monotone logics are monotonous.
Երևան
oai:arar.sci.am:197435
ՀՀ ԳԱԱ Հիմնարար գիտական գրադարան
ՀՀ ԳԱԱ Հիմնարար գիտական գրադարան
Oct 11, 2024
Jun 24, 2020
24
https://arar.sci.am/publication/215692
Հրատարակութեան անունը | Թուական |
---|---|
Чубарян, А. А., О некоторых свойствах минимальных тавтологий классической и неклассических логик | Oct 11, 2024 |
Seda N. Manukian
E. P. Serrano M. I. Troparevsky M. A. Fabio Գլխավոր խմբ․՝ Մ․ Մ․ Ջրբաշյան (1966-1994) Ռ․ Վ․ Համբարձումյան (1994-2009) Ա․ Ա․ Սահակյան (2010-)
Gatsinzi, J.-B. Գլխ. խմբ.՝ Անրի Ներսեսյան Պատ. խմբ.՝ Լինդա Խաչատրյան Խմբ. տեղակալ՝ Ռաֆայել Բարխուդարյան
Hayrapetyan, Feliks Գլխ. խմբ.՝ Անրի Ներսեսյան Պատ. խմբ.՝ Լինդա Խաչատրյան Խմբ. տեղակալ՝ Ռաֆայել Բարխուդարյան
Karapetyan, V. S. Misakyan, S. Z. Sargsyan, Sh. G. Գլխավոր խմբ.՝ Ա․ Վ․ Բաբախանյան