Հրապարակման մանրամասներ:
"ՀՀ ԳԱԱ Զեկույցներ" հանդեսը հիմնադրվել է 1944թ.: Լույս է տեսնում տարին 4 անգամ, 2026-ից՝ 2 անգամ։
Ամսագրի կամ հրապարակման վերնագիր:
ՀՀ ԳԱԱ Զեկույցներ = Доклады НАН РА = Reports NAS RA
Հրապարակման ամսաթիվ:
Հատոր:
Համար:
ISSN:
Պաշտոնական URL:
Լրացուցիչ տեղեկություն:
Վերնագիր:
Some New Proof System for Propositional Modal Logic
Այլ վերնագիր:
Ասույթային մոդալ տրամաբանության արտածումների նոր համակարգ ; Новая система выводов для пропозициональной модальной логики
Ստեղծողը:
Աջակից(ներ):
Պատ․ խմբ.՝ Վ. Հ․ Համբարձումյան (1944-1959) ; Մ․ Մ․ Ջրբաշյան (1960-1965) ; Ա․ Գ․ Նազարով (1966-1983) ; Պատ․ խմբ․ տեղակալ՝ Վ․ Հ․ Ղազարյան (1983-1986) ; Պատ․ խմբ․՝ Դ․ Մ․ Սեդրակյան (1987-1999) ; Գլխավոր խմբ․՝ Ս․ Ա․ Համբարձումյան (2000-2004) ; Վ․ Ս․ Զաքարյան (2005-2018)
Խորագիր:
Չվերահսկվող բանալի բառեր:
modal logic ; determinative conjunct ; determinative disjunctive normal form ; elimination rule
Ծածկույթ:
Ամփոփում:
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 шагов выводов в описываемой системе.
Հրատարակության վայրը:
Երևան
Հրատարակիչ:
Տեսակ:
Ձևաչափ:
Նույնացուցիչ:
սեղմիր այստեղ կապին հետևելու համար
Դասիչ:
Թվայնացում:
ՀՀ ԳԱԱ Հիմնարար գիտական գրադարան