Hostname: page-component-78c5997874-8bhkd Total loading time: 0 Render date: 2024-11-19T04:44:05.208Z Has data issue: false hasContentIssue false
  • English
  • Français

Monoid based semantics for linear formulas

Published online by Cambridge University Press:  12 March 2014

W. P. R. Mitchell  and
H. Simmons
W. P. R. Mitchell
Affiliation:
Motorola UK Research Lab, Basingstoke. Rg22 4Dp., England, E-Mail: [email protected]
H. Simmons
Affiliation:
Department of Computer Science, Manchester University, Manchester, M13 9PL., England, E-Mail: [email protected]
Get access Rights & Permissions [Opens in a new window]

Abstract.

Each Girard quantale (i.e., commutative quantale with a selected dualizing element) provides a support for a semantics for linear propositional formulas (but not for linear derivations). Several constructions of Girard quantales are known. We give two more constructions, one using an arbitrary partially ordered monoid and one using a partially ordered group (both commutative). In both cases the semantics can be controlled be a relation between pairs of elements of the support and formulas. This gives us a neat way of handling duality.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 66 , Issue 4 , December 2001 , pp. 1597 - 1619
Copyright
Copyright © Association for Symbolic Logic 2001

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1]Ambler, S., First order linear logic in symmetric monoidal closed categories. Ph.D. thesis, University of Edinburgh, 1991.Google Scholar
[2]De Paiva, V., Categorical proof theory and linear logic, can be found in http://www.cs.bham.ac.uk/vdp.Google Scholar
[3]Girard, J.-Y., Linear logic.Theoretical Computer Science, (1987), pp. 1–102.Google Scholar
[4]Girard, J.-Y., Lafont, Y., and Regnier, L.. Advances in linear logic,London mathematical society lecture notes series, 222, Cambridge University Press, 1995.Google Scholar
[5]Mulvey, C. J., &, Rendiconti del Circolo Matematico di Palermo. Ser II Supplemento, vol. 12 (1986), pp. 99–104.Google Scholar
[6]Rosenthal, K. I.. Quantales and their applications. Pitman research notes in mathematics, Longman Scientific and Technical, 1990.Google Scholar
[7]Seely, R. A. G., Linear logic, *-autonomous categories and cofree coalgebras, Categories in computer science and logic. Contemporary Mathematics, vol. 92, American Mathematical Society, Providence. 1989, pp. 371–382.CrossRefGoogle Scholar
[8]Troelstra, A. S., Lectures on linear logic, CSLl lectures notes, no. 29, Center for the Study of Language and Information, Stanford, California, 1992.Google Scholar
[9]Yetter, D., Quantales and (non-commutative) linear logic, this Journal, (1990), pp. 41–64.Google Scholar