27 citations · 29 across the 3 of their papers we have counts for
1 paper · 1 filter
Reuben N. S. Rowe, James Brotherston
A cyclic proof system generalises the standard notion of a proof as a finite tree of locally sound inferences by allowing proof objects to be potentially infinite. Regular infinite…