Cyclic and Inductive Calculi are equivalent

Razvan Voicu, Mengran Li

Brotherston and Simpson [citation] have formalized and investigated cyclic reasoning, reaching the important conclusion that it is at least as powerful as inductive reasoning (spec…