ON THE MINIMAL SEQUENTIAL CALCULI OF ROBINSON’S ARITHMETIC

Authors

  • A. A. Chubaryan Chair of Algebraic-Logical Methods of Computer Science, YSU, Armenia

DOI:

https://doi.org/10.46991/PYSUA.2002.36.3.020

Keywords:

Robinson’s arithmetic, cut rule, calculi

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.

Downloads

Published

2002-09-20

Issue

Vol. 36 No. 3 (199) (2002)

Section

Informatics

License

Copyright (c) 2002 Proceedings of the YSU

Creative Commons License

This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License.

How to Cite

Chubaryan, A. A. (2002). ON THE MINIMAL SEQUENTIAL CALCULI OF ROBINSON’S ARITHMETIC. Proceedings of the YSU A: Physical and Mathematical Sciences, 36(3 (199), 20-22. https://doi.org/10.46991/PYSUA.2002.36.3.020
Crossref
Scopus
Google Scholar
Europe PMC