Quantales and Structural Rules

  title={Quantales and Structural Rules},
  author={Mario Piazza and Maurizio Castellan},
  journal={J. Log. Comput.},
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.