Object

Title: О некоторых системах доказательств для многозначных логик и сложностях выводов в них

Publication Details:

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

Journal or Publication Title:

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

Date of publication:

2016

Volume:

116

Number:

2

ISSN:

0321-1339

Official URL:


Additional Information:

click here to follow the link

Other title:

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

Contributor(s):

Պատ․ խմբ.՝ Վ. Հ․ Համբարձումյան (1944-1959) ; Մ․ Մ․ Ջրբաշյան (1960-1965) ; Ա․ Գ․ Նազարով (1966-1983) ; Պատ․ խմբ․ տեղակալ՝ Վ․ Հ․ Ղազարյան (1983-1986) ; Պատ․ խմբ․՝ Դ․ Մ․ Սեդրակյան (1987-1999) ; Գլխավոր խմբ․՝ Ս․ Ա․ Համբարձումյան (2000-2004) ; Վ․ Ս․ Զաքարյան (2005-2018) ; Ռ․ Մ․ Մարտիրոսյան (2018-)

Coverage:

108-114

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:

2016-06-15

Format:

pdf

Identifier:

oai:arar.sci.am:46746

Call number:

АЖ 144

Digitization:

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

Location of original object:

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

Object collections:

Last modified:

Oct 11, 2024

In our library since:

Mar 5, 2020

Number of object content hits:

14

All available object's versions:

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

Show description in RDF format:

RDF

Show description in OAI-PMH format:

OAI-PMH

Objects

Similar

This page uses 'cookies'. More information