Some Properties of Linear Logic Proved by Semantic Methods
Arnon Avron · Journal of Logic and Computation · 1994
We construct several simple algebraic models of the multiplicative and multiplicative-additive fragments of linear logic and demonstrate the value of such models by proving some unexpected proof-theoretical properties of these fragments.