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

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

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

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

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

2024

Հատոր:

124

Համար:

1

ISSN:

0321-1339

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

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

Թամազյան Հ․ Ա․, Тамазян А. А.

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

Ասույթային մոդալ տրամաբանության արտածումների նոր համակարգ ; Новая система выводов для пропозициональной модальной логики

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

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

Ծածկույթ:

7-11

Ամփոփում:

A method of constructing some proof system for propositional modal logic is described. Earlier for unmodal logics introduced notions of determinative conjunct and determinative disjunctive normal, as well as the elimination rule, are generalized for propositional modal logic and on the base of them, the proof system Emod is constructed. For some sequences of tautologies, lower exponential bounds for the number of proof lines in the described system are easily obtained.
Նկարագրված է արտածման որոշակի համակարգի կառուցման եղանակը ասույթային մոդալ տրամաբանության համար: Ընդհանրացված են նախկինում ոչ մոդալ տրամաբանությունների համար ներմուծված որոշիչ կոնյունկտի և որոշիչ դիզյունկտիվ նորմալ ձևի, ինչպես նաև բացառման կանոնը, գաղափարները, և դրանց հիման վրա կառուցված է Emod արտածման համակարգը: Նույնաբանությունների որոշակի հաջորդականությունների համար հեշտորեն ստացված է ցուցչային կարգի ստորին գնահատական նկարագրված համակարգում արտածման նվազագույն քայլերի քանակի համար:
Описан метод построения некоторой пропозициональной системы выводов для модальной логики. Введенные ранее для немодальных логик понятия определяющего конъюнктa и определяющей дизъюнктивной нормальной формы, а также правила элиминации обобщены для пропозициональной модальной логики, и на их основе построена система Emod. Для некоторых последовательностей тавтологий легко получены нижние экспоненциальные оценки минимального количествa шагов выводов в описываемой системе.

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

Երևան

Հրատարակիչ:

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

Ձևաչափ:

pdf

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

սեղմիր այստեղ կապին հետևելու համար ; oai:arar.sci.am:373613

Դասիչ:

АЖ 144

Թվայնացում:

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

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

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