Geodesic
On the minimal sequential calculi of Robinson’s arithmetic
Proceedings of the Yerevan State University. Physical and mathematical sciences, no. 3 (2002), pp. 20-22

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

Sequential calculi of minimal Robinson’s arithmetic (with cut rule and cut-free) are defined in this paper. Equivalence of these calculi is proved.
Keywords: Sequential calculi of minimal Robinson’s arithmetic
Mots-clés : equivalence. 
@article{UZERU_2002_3_a3,
     author = {A. A. Chubaryan and H. R. Bolibekyan},
     title = {On the minimal sequential calculi of {Robinson{\textquoteright}s} arithmetic},
     journal = {Proceedings of the Yerevan State University. Physical and mathematical sciences},
     pages = {20--22},
     publisher = {mathdoc},
     number = {3},
     year = {2002},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/UZERU_2002_3_a3/}
}
TY  - JOUR
AU  - A. A. Chubaryan
AU  - H. R. Bolibekyan
TI  - On the minimal sequential calculi of Robinson’s arithmetic
JO  - Proceedings of the Yerevan State University. Physical and mathematical sciences
PY  - 2002
SP  - 20
EP  - 22
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/UZERU_2002_3_a3/
LA  - ru
ID  - UZERU_2002_3_a3
ER  - 
%0 Journal Article
%A A. A. Chubaryan
%A H. R. Bolibekyan
%T On the minimal sequential calculi of Robinson’s arithmetic
%J Proceedings of the Yerevan State University. Physical and mathematical sciences
%D 2002
%P 20-22
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/UZERU_2002_3_a3/
%G ru
%F UZERU_2002_3_a3
A. A. Chubaryan; H. R. Bolibekyan. On the minimal sequential calculi of Robinson’s arithmetic. Proceedings of the Yerevan State University. Physical and mathematical sciences, no. 3 (2002), pp. 20-22. http://geodesic.mathdoc.fr/item/UZERU_2002_3_a3/