Geodesic
On the Rabin’s speed-up of proofs for some systems of first order logic
Proceedings of the Yerevan State University. Physical and mathematical sciences, no. 1 (2010), pp. 61-63

Voir la notice de l'article provenant de la source Math-Net.Ru

In the paper a notion of ordinary theory is considered. It is proved that some systems of first order predicate calculus are ordinary. This property is used for a proof complexity comparison in the considered systems.
Keywords: speed-up, proof complexity, predicate calculus, ordinary theory. 
@article{UZERU_2010_1_a10,
     author = {A. A. Chubaryan and H. R. Bolibekyan},
     title = {On the {Rabin{\textquoteright}s} speed-up of proofs for some systems of first order logic},
     journal = {Proceedings of the Yerevan State University. Physical and mathematical sciences},
     pages = {61--63},
     publisher = {mathdoc},
     number = {1},
     year = {2010},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/UZERU_2010_1_a10/}
}
TY  - JOUR
AU  - A. A. Chubaryan
AU  - H. R. Bolibekyan
TI  - On the Rabin’s speed-up of proofs for some systems of first order logic
JO  - Proceedings of the Yerevan State University. Physical and mathematical sciences
PY  - 2010
SP  - 61
EP  - 63
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/UZERU_2010_1_a10/
LA  - en
ID  - UZERU_2010_1_a10
ER  - 
%0 Journal Article
%A A. A. Chubaryan
%A H. R. Bolibekyan
%T On the Rabin’s speed-up of proofs for some systems of first order logic
%J Proceedings of the Yerevan State University. Physical and mathematical sciences
%D 2010
%P 61-63
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/UZERU_2010_1_a10/
%G en
%F UZERU_2010_1_a10
A. A. Chubaryan; H. R. Bolibekyan. On the Rabin’s speed-up of proofs for some systems of first order logic. Proceedings of the Yerevan State University. Physical and mathematical sciences, no. 1 (2010), pp. 61-63. http://geodesic.mathdoc.fr/item/UZERU_2010_1_a10/