Publication Details:
"ՀՀ ԳԱԱ Զեկույցներ" հանդեսը հիմնադրվել է 1944թ.: Լույս է տեսնում տարին 4 անգամ:
Journal or Publication Title:
ՀՀ ԳԱԱ Զեկույցներ = Доклады НАН РА = Reports NAS RA
Date of publication:
Volume:
Number:
ISSN:
Official URL:
Additional Information:
Պետրոսյան Գ. Վ., Петросян Г. В.
Title:
On Some Properties of Several Proof Systems for2-valued Propositional Logic
Other title:
Երկարժեք ասույթային տրամաբանության որոշակի արտածման համակարգերի հատկությունները ; О некоторых свойствах нескольких систем доказательства 2-значной логики высказываний
Creator:
Contributor(s):
Պատ․ խմբ.՝ Վ. Հ․ Համբարձումյան (1944-1959) ; Մ․ Մ․ Ջրբաշյան (1960-1965) ; Ա․ Գ․ Նազարով (1966-1983) ; Պատ․ խմբ․ տեղակալ՝ Վ․ Հ․ Ղազարյան (1983-1986) ; Պատ․ խմբ․՝ Դ․ Մ․ Սեդրակյան (1987-1999) ; Գլխավոր խմբ․՝ Ս․ Ա․ Համբարձումյան (2000-2004) ; Վ․ Ս․ Զաքարյան (2005-2018) ; Ռ․ Մ․ Մարտիրոսյան (2018-)
Subject:
Uncontrolled Keywords:
minimal tautology ; Frege systems ; substitution Frege systems ; Sequent proof systems ; proof complexity measures ; monotonous systems
Coverage:
Abstract:
In this work we investigate the relations between the proofs complexities of minimal tautologies and of results of substitutions in them in some systems of 2-valued classical propositional logic. We show that the result of substitution can be proved easier, than corresponding minimal tautology, therefore the systems, which are considered in this paper, are no monotonous neither by lines nor by size.
Հետազոտված է մինիմալ նույնաբանությունների և նրանցում տեղադրությունների արտածման բարդությունների միջև հարաբերությունը որոշակի երկարժեք ասույթային դասական տրամաբանության համակարգերում։ Ցույց է տրվել, որ տեղադրման արդյունք հանդիսացող բանաձևերը կարող են արտածվել ավելի հեշտ, այդ իսկ պատճառով դիտարկված համակարգերը մոնոտոն չեն:
Исследована связь между сложностями доказательств минимальных тавтологий и результатами подстановок в них в некоторых системах 2-значной классической логики высказываний. Показано, что результат подстановки доказывается проще, чем соответствующая минимальная тавтология, поэтому рассматриваемые в статье системы не являются монотонными ни по линиям, ни по размеру.
Place of publishing:
Երևան
Publisher:
Type:
Format:
Call number:
Digitization:
ՀՀ ԳԱԱ Հիմնարար գիտական գրադարան