207 citations · 309 across the 9 of their papers we have counts for
Showing 2009Show all
2 papers · 1 filter
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…
cs.LO2009★ 24 cited
A System of Interaction and Structure IV: The Exponentials and Decomposition
Lutz Strassburger, Alessio Guglielmi
We study a system, called NEL, which is the mixed commutative/non-commutative linear logic BV augmented with linear logic's exponentials. Equivalently, NEL is MELL augmented with t…