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

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

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

2007

Հատոր:

28

ISSN:

0131-4645

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

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

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

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

Ծածկոյթ:

141-145

Ամփոփում:

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].

Հրատարակիչ:

Изд-во НАН РА

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

2007-02-10

Ձեւաչափ:

pdf

Նոյնացուցիչ:

oai:arar.sci.am:258527

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

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