Volume 6: January - December 1996

Issue 5: October 1996

Abstract


Quantales and structural rules

  • Quantales and structural rules
  • M. Piazza1 and M. Castellan2 1Department of Philosophy (Section of Epistemology), University of Genoa, Balbi 4, 16126 Genoa, Italy and 2Department of Mathematics, University of Siena, Via del Capitano 15, 53100 Siena, Italy

    ABSTRACT

    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.

    Keywords: Quantales, algebraic models, linear logic, semantical methods.

    Pages: 709 - 724

    Part of the OUP Journal of Logic and Computation WWW service


    General Information

    Click here to register with OUP.

    This page is maintained by OUP admin

    Last updated 19 Nov 96

    Part of the OUP Journals World Wide Web service.


    Copyright Oxford University Press, 1996