Object

Title: Relations between the Proof Complexities in Frege Systems, Deep-Inference Proof Systems KS and еКS

Publication Details:

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

Journal or Publication Title:

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

Date of publication:

2022

Volume:

122

Number:

3

ISSN:

0321-1339

Official URL:


Additional Information:

Չուբարյան Ա. Ա., Чубарян А. А.

Other title:

Արտածումների բարդությունների հարաբերությունները Ֆրեգեի համակարգերի, խորքային արտածման կանոններով КS և еКS համակարգերի միջև ; Отношение между сложностями выводов в системах Фреге и системах глубинных правил выводов КS и еКS

Contributor(s):

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

Coverage:

182-187

Abstract:

Using the determinative sizes fօr tautologies of some sequences, it is proved in this paper that a Frege system and deep-inference proof system еКS exhibit an exponential speed-up over the deep-inference proof systems KS both by lines and size of proofs.
Օգտագործելով որոշակի հաջորդականությունների նույնաբանությունների որոշիչ երկարությունները՝ ապացուցվել է, որ Ֆրեգեի համակարգերը և խորքային արտածման կանոններով еКS համակարգը ցուցաբերում են էքսպոնենցիալ արագացում խորքային արտածման կանոններով КS համակարգի նկատմամբ՝ և՛ ըստ արտածումների քայլերի, և՛ ըստ դրանց երկարությունների:
Используя величины определяющих длин тавтологий некоторых последовательностей, доказано, что системы Фреге и система глубинных правил выводов еКS проявляют экспоненциальное ускорение относительно системы глубинных правил выводов КS как по шагам, так и по длинам выводов.


Place of publishing:

Երևան

Publisher:

ՀՀ ԳԱԱ «Գիտություն» հրատ.

Format:

pdf

Identifier:

click here to follow the link ; oai:arar.sci.am:325661

Call number:

АЖ 144

Digitization:

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

Location of original object:

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

Object collections:

Last modified:

Oct 11, 2024

In our library since:

Sep 28, 2022

Number of object content hits:

81

All available object's versions:

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

Show description in RDF format:

RDF

Show description in OAI-PMH format:

OAI-PMH

Objects

Similar

This page uses 'cookies'. More information