Journal or Publication Title:

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

Date of publication:

2007

Volume:

29

ISSN:

0131-4645

Additional Information:

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

Other title:

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

Coverage:

117-122

Abstract:

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.

Publisher:

Изд-во НАН РА

Date created:

2007-03-10

Format:

pdf

Identifier:

oai:arar.sci.am:258541

Location of original object:

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