Հրապարակման մանրամասներ:
"ՀՀ ԳԱԱ Զեկույցներ" հանդեսը հիմնադրվել է 1944թ.: Լույս է տեսնում տարին 4 անգամ:
Ամսագրի կամ հրապարակման վերնագիր:
ՀՀ ԳԱԱ Զեկույցներ = Доклады НАН РА = Reports NAS RA
Հրապարակման ամսաթիվ:
Հատոր:
Համար:
ISSN:
Պաշտոնական URL:
Լրացուցիչ տեղեկություն:
Պետրոսյան Գ. Վ., Петросян Г. В.
Վերնագիր:
On Some Properties of Several Proof Systems for2-valued Propositional Logic
Այլ վերնագիր:
Երկարժեք ասույթային տրամաբանության որոշակի արտածման համակարգերի հատկությունները ; О некоторых свойствах нескольких систем доказательства 2-значной логики высказываний
Ստեղծողը:
Աջակից(ներ):
Պատ․ խմբ.՝ Վ. Հ․ Համբարձումյան (1944-1959) ; Մ․ Մ․ Ջրբաշյան (1960-1965) ; Ա․ Գ․ Նազարով (1966-1983) ; Պատ․ խմբ․ տեղակալ՝ Վ․ Հ․ Ղազարյան (1983-1986) ; Պատ․ խմբ․՝ Դ․ Մ․ Սեդրակյան (1987-1999) ; Գլխավոր խմբ․՝ Ս․ Ա․ Համբարձումյան (2000-2004) ; Վ․ Ս․ Զաքարյան (2005-2018) ; Ռ․ Մ․ Մարտիրոսյան (2018-)
Խորագիր:
Չվերահսկվող բանալի բառեր:
minimal tautology ; Frege systems ; substitution Frege systems ; Sequent proof systems ; proof complexity measures ; monotonous systems
Ծածկույթ:
Ամփոփում:
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-значной классической логики высказываний. Показано, что результат подстановки доказывается проще, чем соответствующая минимальная тавтология, поэтому рассматриваемые в статье системы не являются монотонными ни по линиям, ни по размеру.
Հրատարակության վայրը:
Երևան
Հրատարակիչ:
Տեսակ:
Ձևաչափ:
Դասիչ:
Թվայնացում:
ՀՀ ԳԱԱ Հիմնարար գիտական գրադարան