7 citations · 19 across the 17 of their papers we have counts for
1 paper · 1 filter
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…