1 paper
Kenji Saotome, Koji Nakazawa
This paper investigates the admissibility of the substitution rule in cyclic-proof systems. The substitution rule complicates theoretical case analysis and increases computational…