Օբյեկտ

Վերնագիր: Some New Proof System for Propositional Modal Logic

Ստեղծողը:

Tamazyan, H. A.

Տեսակ:

Հոդված

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

"ՀՀ ԳԱԱ Զեկույցներ" հանդեսը հիմնադրվել է 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

Թվայնացում:

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

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

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

Օբյեկտի հավաքածուներ:

Վերջին անգամ ձևափոխված:

Apr 23, 2024

Մեր գրադարանում է սկսած:

Apr 23, 2024

Օբյեկտի բովանդակության հարվածների քանակ:

12

Օբյեկտի բոլոր հասանելի տարբերակները:

https://arar.sci.am/publication/403775

Ցույց տուր նկարագրությունը RDF ձևաչափով:

RDF

Ցույց տուր նկարագրությունը OAI-PMH ձևաչափով։

OAI-PMH

Հրատարակության անուն Ամսաթիվ
Tamazyan, H. A., Some New Proof System for Propositional Modal Logic Apr 23, 2024

Օբյեկտի տեսակ՝

Նման

Այս էջը օգտագործում է 'cookie-ներ'։ Ավելի տեղեկատվություն