Fragments of arithmetic and cyclic proofs

Lev D. Beklemishev, Daniyar S. Shamkanov, Ivan N. Smirnov

We present an alternative cyclic proof system for Peano arithmetic that could be simpler than the existing ones and well-adapted both for proof analysis and for automatizing induct…