Journal or Publication Title:
Date of publication:
Volume:
ISSN:
Additional Information:
Title:
On polynomially equivalence of minimal Frege systems
Other title:
Մինիմալ ասութային հաշվում Ֆրեգեյի համակարգերի բազմանդամային համարժեքության վերաբերյա
Creator:
Sergey M. Sayadyan ; Armine A. Chubaryan
Subject:
Uncontrolled Keywords:
Coverage:
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].