Ցոյց տուր կառուցուածքը

Ամսագրի կամ հրապարակման վերնագիր:

Математические вопросы кибернетики и вычислительной техники=Կիբեռնետիկայի և հաշվողական տեխնիկայի մաթեմատիկական հարցեր=Mathematical problems of computer science

Հրապարակման ամսաթիւ:

2007

Հատոր:

29

ISSN:

0131-4645

Լրացուցիչ տեղեկութիւն:

կապին հետեւելուն համար սեղմէ հոս

Վերնագիր:

On some proporties of Frege proofs

Այլ վերնագիր:

Ֆրեգեյի արտածումների մի հատկության մասին

Ստեղծողը:

Sona R. Aleksanyan ; Anahit A. Chubaryan

Խորագիր:

Mathematics

Չվերահսկուող բանալի բառեր:

Ալեքսանյան Ս. Ռ. ; Չուբարյան Անահիտ Ա.

Ծածկոյթ:

117-122

Ամփոփում:

In [4] a measure s on propositional formula was de¯ned such that for every tautology φ "high" value of s(φ) requires the large size of proof in the "weak" propositional systems. In this paper it is shown, that there is a tautology φ, the measure s(φ) of which has exponential dependence on the size of φ, but its proof complexity in Frege systems is polynomially bounded.

Հրատարակիչ:

Изд-во НАН РА

Ստեղծման ամսաթիւը:

2007-03-10

Տեսակ:

Հոդված

Ձեւաչափ:

pdf

Բնօրինակին գտնուելու վայրը:

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