Publication Details:
"ՀՀ ԳԱԱ Զեկույցներ" հանդեսը հիմնադրվել է 1944թ.: Լույս է տեսնում տարին 4 անգամ:
Journal or Publication Title:
ՀՀ ԳԱԱ Զեկույցներ = Доклады НАН РА = Reports NAS RA
Date of publication:
Volume:
Number:
ISSN:
Official URL:
Additional Information:
Title:
О некоторых системах доказательств для многозначных логик и сложностях выводов в них
Other title:
Creator:
А. А. Чубарян ; А. С. Читоян ; А. А. Хамисян
Contributor(s):
Պատ․ խմբ.՝ Վ. Հ․ Համբարձումյան (1944-1959) ; Մ․ Մ․ Ջրբաշյան (1960-1965) ; Ա․ Գ․ Նազարով (1966-1983) ; Պատ․ խմբ․ տեղակալ՝ Վ․ Հ․ Ղազարյան (1983-1986) ; Պատ․ խմբ․՝ Դ․ Մ․ Սեդրակյան (1987-1999) ; Գլխավոր խմբ․՝ Ս․ Ա․ Համբարձումյան (2000-2004) ; Վ․ Ս․ Զաքարյան (2005-2018) ; Ռ․ Մ․ Մարտիրոսյան (2018-)
Subject:
Uncontrolled Keywords:
k-значная логика ; определяющий конъюнкт ; определяющая дизъюнктивная нормальная форма ; элиминационные системы ; сложности выводов
Coverage:
Abstract:
Описан метод построения некоей дедуктивно полной системы исчисления высказываний для 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.
Place of publishing:
Երևան
Publisher:
Date created:
Type:
Format:
Call number:
Digitization:
ՀՀ ԳԱԱ Հիմնարար գիտական գրադարան