Journal or Publication Title:

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

Date of publication:

2007

Volume:

28

ISSN:

0131-4645

Additional Information:

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

Other title:

Մինիմալ ասութային հաշվում Ֆրեգեյի համակարգերի բազմանդամային համարժեքության վերաբերյա

Coverage:

141-145

Abstract:

In this paper is shown that any two minimal Frege systems polynomially simulate each other. This result is the extension of the similar result about polynomially equivalence of intuitionistic Frege system. The latter is proved by G. Mints and A. Kojevnikov [1].

Publisher:

Изд-во НАН РА

Date created:

2007-02-10

Format:

pdf

Identifier:

oai:arar.sci.am:258527

Location of original object:

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