Հրապարակման մանրամասներ:

"ՀՀ ԳԱԱ Զեկույցներ" հանդեսը հիմնադրվել է 1944թ.: Լույս է տեսնում տարին 4 անգամ:

Ամսագրի կամ հրապարակման վերնագիր:

ՀՀ ԳԱԱ Զեկույցներ = Доклады НАН РА = Reports NAS RA

Հրապարակման ամսաթիվ:

2020

Հատոր:

120

Համար:

1

ISSN:

0321-1339

Պաշտոնական URL:

Լրացուցիչ տեղեկություն:

Չւոբարյան Ա․ Ա․, Համբարձումյան Ա․ Ա․, Գասպարյան Հ․ Ա․, Հովհաննիսյան Ս․ Ա․, Chubaryan A. A., Hambardzumyan A. A., Gasparyan H. A., Hovhannisyan S. A.

Այլ վերնագիր:

Դասական և ոչ դասական տրամաբանությունների մինիմալ նույնաբանությունների որոշ հատկությունների մասին; On some properties of minimal tautologies in classical and nonclassical logic

Աջակից(ներ):

Պատ․ խմբ.՝ Վ. Հ․ Համբարձումյան (1944-1959) ; Մ․ Մ․ Ջրբաշյան (1960-1965) ; Ա․ Գ․ Նազարով (1966-1983) ; Պատ․ խմբ․ տեղակալ՝ Վ․ Հ․ Ղազարյան (1983-1986) ; Պատ․ խմբ․՝ Դ․ Մ․ Սեդրակյան (1987-1999) ; Գլխավոր խմբ․՝ Ս․ Ա․ Համբարձումյան (2000-2004) ; Վ․ Ս․ Զաքարյան (2005-2018) ; Ռ․ Մ․ Մարտիրոսյան (2018-)

Ծածկույթ:

15-21

Ամփոփում:

Для тавтологий заданной логики длины 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.

Հրատարակության վայրը:

Երևան

Հրատարակիչ:

ՀՀ ԳԱԱ «Գիտություն» հրատ.

Ձևաչափ:

pdf

Նույնացուցիչ:

oai:arar.sci.am:197435

Դասիչ:

АЖ 144

Թվայնացում:

ՀՀ ԳԱԱ Հիմնարար գիտական գրադարան

Բնօրինակի գտնվելու վայրը:

ՀՀ ԳԱԱ Հիմնարար գիտական գրադարան