{"id":"arxiv/2606.07166","url":"https://arxiv.org/abs/2606.07166","tags":["math.LO"],"score":0,"title":"Cyclic proofs in the equational version of Primitive recursive arithmetic","domain":"math.LO","source":"arxiv","authors":["Daniyar Shamkanov"],"reviews":0,"subject":"math.LO","summary":"In this brief note, we present a cyclic proof system developed specifically for the equational version of Primitive recursive arithmetic and establish the equivalence of the two systems. A distinctive feature of our approach is that it does not rely on automata-theoretic methods but is implemented primarily using the tools of structural proof theory.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-05","reactions":{}}