207 citations · 309 across the 9 of their papers we have counts for
Showing math.LOShow all
2 papers · 1 filter
math.LO2007★ 43 cited
Normalisation Control in Deep Inference via Atomic Flows
Alessio Guglielmi, Tom Gundersen
We introduce `atomic flows': they are graphs obtained from derivations by tracing atom occurrences and forgetting the logical structure. We study simple manipulations of atomic flo…
math.LO2002★ 2 cited
Consistency Without Cut Elimination
Kai Bruennler, Alessio Guglielmi
In this note we will show how to get consistency for first order classical logic, in a purely syntactic way, without going through cut elimination. The procedure is very simple and…