Quantales and structural rules
Mario Piazza · Journal of Logic and Computation · 1996
In this paper we introduce and investigate new examples of concrete quantales and we show their potential use, in a framework of algebraic semantics, by giving a characterization of the formulas in multiplicative fragment of linear logic for which the dismissed weakening and contraction are admissible.