Counterexample to cut-elimination in cyclic proof system for first-order logic with inductive definitions. - Yukihiro Masuoka; Makoto Tatsuta (CoRR, 2021)

A study for recovering the cut-elimination property in cyclic proof systems by restricting the arity of inductive predicates. - Yukihiro Masuoka; Daisuke Kimura (CoRR, 2022)