Unravelling Abstract Cyclic Proofs into Proofs by Induction

Lide Grotenhuis, Daniël Otten

Cyclic proof theory breaks tradition by allowing certain infinite proofs: those that can be represented by a finite graph, while satisfying a soundness condition. We reconcile cycl…