43 citations · 62 across the 2 of their papers we have counts for
2 papers
cs.CC2009★ 19 cited
Quasipolynomial Normalisation in Deep Inference via Atomic Flows and Threshold Formulae
Paola Bruscoli, Alessio Guglielmi, Tom Gundersen +1
Jeřábek showed that cuts in classical propositional logic proofs in deep inference can be eliminated in quasipolynomial time. The proof is indirect and it relies on a result of Ats…
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…