RUS  ENG
Full version
JOURNALS // Proceedings of the Yerevan State University, series Physical and Mathematical Sciences // Archive
Proceedings of the YSU, Physical and Mathematical Sciences, 2002 Issue 3, Pages 20–22 (Mi uzeru565)
Informatics

On the minimal sequential calculi of Robinson’s arithmetic

A. A. Chubaryan, H. R. Bolibekyan

Yerevan State University, Faculty of Informatics and Applied Mathematics

Abstract: 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, equivalence.

UDC: 510.64

Received: 06.06.2002
Accepted: 20.09.2002


© Steklov Math. Inst. of RAS, 2024