and M. Piazza 1 M. Castellan 2 and 1Department of Philosophy (Section of Epistemology), University of Genoa, Balbi 4, 16126 Genoa, Italy 2Department of Mathematics, University of Siena, Via del Capitano 15, 53100 Siena, Italy
In this paper we introduce and investigate new examples of
concretequantales 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. Quantales, algebraic models, linear logic, semantical methods.
Part of the OUP Journal of Logic and Computation WWW service
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