Օբյեկտ

Վերնագիր: Сравнение длин линейных и древовидных выводов некоторых семейств формул в ряде систем исчисления высказываний

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

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

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

2022

Հատոր:

122

Համար:

2

ISSN:

0321-1339

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

Ափինյան Լ. Ա., Չուբարյան Ա. Ա., Apinyan L. A., Chubaryan A. A.

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

Ասույթային հաշվի մի շարք համակարգերում բանաձևերի որոշ ընտանիքների գծային և ծառատիպ արտածումների երկարությունների համեմատություն ; Linear and Tree-Like Proofs Sizes Comparison for Any Formulae Families in Some Systems of Propositional Calculus

Ծածկույթ:

125-132

Ամփոփում:

Для некоторых семейств формул исследованы длины как линейных, так и древовидных выводов в ряде систем исчисления высказываний: в разновидностях секвенциальных систем (с кванторами, с правилом подстановки, с правилом сечения, без правила сечения, монотонных), а также в системе обобщенных расщеплений. Сравнение полученных результатов с ранее полученными оценками для шагов тех же разновидностей выводов тех же формул и в тех же системах указывает на определенную значимость именно длины вывода как основной сложностной характеристики выводов.
Բանաձևերի որոշ ընտանիքների համար ուսումնասիրված են գծային և ծառատիպ արտածումների երկարությունները ասույթային հաշվի մի քանի համակարգերում՝ սեկվենցիալ համակարգերի տարատեսակներում (ծավալիչներով, տեղադրման կանոնով, հատույթի կանոնով, առանց հատույթի կանոնի, մոնոտոն), ինչպես նաև ընհանրացված տրոհումների համակարգում: Աշխատանքում ստացված արդյունքների համեմատությունը նախկինում ստացված նույն բանաձևերի նշված համակարգերում արտածումների քայլերի համար ստացված արդյունքների հետ փաստում է արտածումների երկարության՝ որպես բարդության բնութագրիչի արժևորումը:
The sizes of linear and tree-like proofs for any formulae families are investigated in some systems of propositional calculus: in different sequent systems (with quantifier rules, with substitution rule, with cut rule, without cut rule, monotone) and in the generalization splitting system. The comparison of obtained here results with the bounds, wich are obtained for the steps of proofs for the same formulas in the mentioned systems former, shows the importance of the size of proof as complexities characteristic


Հրատարակիչ:

Հայաստանի ԳԱԱ

Ձևաչափ:

pdf

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

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

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

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

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

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

Jun 16, 2022

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

Jun 16, 2022

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

4

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

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

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

RDF

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

OAI-PMH

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