Elimination and cut-elimination in multiplicative linear logic

Daniel Murfet, William Troiani

We associate to every proof structure in multiplicative linear logic an ideal which represents the logical content of the proof as polynomial equations. We show how cut-elimination…