Cyclic Proofs Sep 27, 2023 http://www0.cs.ucl.ac.uk/staff/J.Brotherston/slides/PARIS_FLoC_07_18_part1.pdf cycleq cyclegg inductionless induction https://hal.archives-ouvertes.fr/hal-01558132/document a cut free cyclic proof system for kleene