Quantales and Structural Rules

@article{Piazza1996QuantalesAS,
  title={Quantales and Structural Rules},
  author={Mario Piazza and Maurizio Castellan},
  journal={J. Log. Comput.},
  year={1996},
  volume={6},
  pages={709-724}
}
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.