Ամսագրի կամ հրապարակման վերնագիր:
Հրապարակման ամսաթիւ:
Հատոր:
ISSN:
Լրացուցիչ տեղեկութիւն:
կապին հետեւելուն համար սեղմէ հոս
Վերնագիր:
On polynomially equivalence of minimal Frege systems
Այլ վերնագիր:
Մինիմալ ասութային հաշվում Ֆրեգեյի համակարգերի բազմանդամային համարժեքության վերաբերյա
Ստեղծողը:
Sergey M. Sayadyan ; Armine A. Chubaryan
Խորագիր:
Չվերահսկուող բանալի բառեր:
Ծածկոյթ:
Ամփոփում:
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].