Օբյեկտ

Վերնագիր: О некоторых системах доказательств для многозначных логик и сложностях выводов в них

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

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

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

2016

Հատոր:

vol. 116

Համար:

№ 2

ISSN:

0321-1339

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

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

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

Բազմարժեք տրամաբանություններում արտածման որոշ համակարգերի և նրանցում արտածման բարդությունների վերաբերյալ / Ա. Ա. Չուբարյան, Ա. Ս. Ճիտոյան, Ա. Ա. Խամիսյան։ On Some Proof Systems for Many-Valued Logics and on Proof Complexities in It / A. A. Chubaryan, A. S. Tchitoyan, A. A. Khamisyan.

Ծածկույթ:

108-114

Ամփոփում:

Описан метод построения некоей дедуктивно полной системы исчисления высказываний для k-значной логики (k ≥ 3). Обобщены понятия определяющего конъюнкта и определяющей дизъюнктивной нормальной формы, ранее введенные первым соавтором для двузначных булевых функций, и на их основе построены системы Еk, аналогичные системе резолюций. Для некоторой последовательности k-значных тавтологий получены одинаковые по порядку верхние и нижние оценки основных сложностных характеристик выводов в описанных системах. Նկարագրված է արտածման որոշ համակարգերի կառուցման եղանակը k-արժեք (k ≥ 3) տրամաբանությունների համար: Ընդհանրացված են նախկինում առաջին համահեղինակի կողմից երկարժեք բուլյան ֆունկցիաների համար ներմուծված որոշիչ կոնյունկտի և որոշիչ դիզյունկտիվ նորմալ ձևի գաղափարները և դրանց հիման վրա կառուցված են Еk համակարգերը, որոնք նման են ռեզոլյուցիոն համակարգերին: k-արժեք նույնաբանությունների որոշակի հաջորդականությունների համար ստացված են նույն կարգի վերին և ստորին գնահատականներ նկարագրված համակարգերում արտածման բարդությունների հիմնական բնութագրիչների համար: Some method for construction a deductive full system of propositional calculi for k-valued (k ≥ 3) logic is described. Earlier introduced by the first coauthor the notions of determinative conjunct and determinative disjunctive normal form for two-valued Boolean functions are generalized and on the base of it the systems Еk , analogous to resolution systems, are constructed. The same by order upper and lower bounds for the main proof complexity characteristics in described systems are obtained for some sequence of k-valued tautologies.

Հրատարակիչ:

ՀՀ ԳԱԱ

Ստեղծման ամսաթիվը:

2016-06-15

Ձևաչափ:

pdf

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

oai:arar.sci.am:46746

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

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

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

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

Feb 7, 2021

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

Mar 5, 2020

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

1

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

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

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

RDF

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

OAI-PMH

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