Հրապարակման մանրամասներ:
"ՀՀ ԳԱԱ Զեկույցներ" հանդեսը հիմնադրվել է 1944թ.: Լույս է տեսնում տարին 4 անգամ, 2026-ից՝ 2 անգամ։
Ամսագրի կամ հրապարակման վերնագիր:
ՀՀ ԳԱԱ Զեկույցներ = Доклады НАН РА = Reports NAS RA
Հրապարակման ամսաթիւ:
Հատոր:
Համար:
ISSN:
Պաշտոնական URL:
Լրացուցիչ տեղեկութիւն:
Բոլիբեկյան Հ․ Ռ․, Բաղդասարյան Ա․ Ռ․, Болибекян О. Р , Багдасарян А. Р.
Վերնագիր:
On the Minimal Fragment of S5 Modal Logic
Այլ վերնագիր:
S5 մոդալ տրամաբանության նվազագույն ֆրագմենտի վերաբերյալ ; О минимальном фрагменте S5 модальной логики
Ստեղծողը:
Bolibekyan, H. R. ; Baghdasaryan, A. R.
Աջակից(ներ):
Պատ․ խմբ.՝ Վ. Հ․ Համբարձումյան (1944-1959) ; Մ․ Մ․ Ջրբաշյան (1960-1965) ; Ա․ Գ․ Նազարով (1966-1983) ; Պատ․ խմբ․ տեղակալ՝ Վ․ Հ․ Ղազարյան (1983-1986) ; Պատ․ խմբ․՝ Դ․ Մ․ Սեդրակյան (1987-1999) ; Գլխավոր խմբ․՝ Ս․ Ա․ Համբարձումյան (2000-2004) ; Վ․ Ս․ Զաքարյան (2005-2018)
Խորագիր:
Չվերահսկուող բանալի բառեր:
Ծածկոյթ:
Ամփոփում:
Two systems of propositional fragment of modal logic are constructed. One of the systems is Herbrand type while the other one is a sequential system. It is proved that every formula deducible in one of them is also provable in the other system.
Սահմանված են մոդալ տրամաբանության երկու ասույթային համակարգեր: Նրանցից առաջինը հերբրանյան տիպի է, իսկ մյուսը` սեկվենսային: Ապացուցված է այդ համակարգերի համարժեքությունը:
Сформулированы две пропозициональные системы модальной логики: эрбрановского типа и секвенциальная. Доказана формульная равнообъёмность рассмотренных систем.
Հրատարակութեան վայրը:
Երևան
Հրատարակիչ:
Տեսակ:
Ձեւաչափ:
Դասիչ:
Թուայնացում:
ՀՀ ԳԱԱ Հիմնարար գիտական գրադարան