Keyword:infinitary proofs

Papers
Transitive Closure Logic: Infinitary and Cyclic Proof Systems Reuben Rowe and Liron Cohen EasyChair Preprint no. 191