Search
Now showing items 1-1 of 1
Representation matters in cyclic proof theory
(2023-04)
Cyclic proof systems allowderivations whose underlying structure is a finite graph, rather than
a well-founded tree. The soundness of cyclic proofs is usually ensured by imposing additional
conditions beyond well-formedness. ...