Ամսագրի կամ հրապարակման վերնագիր:
Հրապարակման ամսաթիվ:
Հատոր:
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].