3 citations · 6 across the 6 of their papers we have counts for
1 paper · 1 filter
Graham E. Leigh, Dominik Wehr
We consider cyclic proof systems in which derivations are graphs rather than trees. Such systems typically come with a condition that isolates which derivations are admitted as 'pr…