Modules over a quantale and models for the operator ! in linear logic

Kimmo I. Rosenthal

Cahiers de Topologie et Géométrie Différentielle Catégoriques (1994)

  • Volume: 35, Issue: 4, page 329-333
  • ISSN: 1245-530X

How to cite

top

Rosenthal, Kimmo I.. "Modules over a quantale and models for the operator $!$ in linear logic." Cahiers de Topologie et Géométrie Différentielle Catégoriques 35.4 (1994): 329-333. <http://eudml.org/doc/91553>.

@article{Rosenthal1994,
author = {Rosenthal, Kimmo I.},
journal = {Cahiers de Topologie et Géométrie Différentielle Catégoriques},
keywords = {category of modules over commutative unital quantale; categorical model for full linear logic; modality},
language = {eng},
number = {4},
pages = {329-333},
publisher = {Dunod éditeur, publié avec le concours du CNRS},
title = {Modules over a quantale and models for the operator $!$ in linear logic},
url = {http://eudml.org/doc/91553},
volume = {35},
year = {1994},
}

TY - JOUR
AU - Rosenthal, Kimmo I.
TI - Modules over a quantale and models for the operator $!$ in linear logic
JO - Cahiers de Topologie et Géométrie Différentielle Catégoriques
PY - 1994
PB - Dunod éditeur, publié avec le concours du CNRS
VL - 35
IS - 4
SP - 329
EP - 333
LA - eng
KW - category of modules over commutative unital quantale; categorical model for full linear logic; modality
UR - http://eudml.org/doc/91553
ER -

References

top
  1. [1] S. Abramsky and S. Vickers, Quantales, observational logic, and process semantics, Math. Structures in Comp. Sci., Vol.3, No. 2, 1993,161-228. Zbl0823.06011
  2. [2] M. Barr, *-Autonomous Categories, SpringerLecture Notes in Math. No. 752, 1979. Zbl0415.18008
  3. [3] M. Barr, *-autonomous categories and linear logic, Math. Structures in Comp. Sci., Vol.1, No. 2, 1991, 159-178. Zbl0777.18006
  4. [4] R. Blute, Linear logic, coherence and dinaturality, Theor. Comp. Sci.115, 1993, 3-41. Zbl0782.18001
  5. [5] R. Blute, P. Panangaden, and R. Seely, Holomorphic models of exponential types in linear logic, to appear in Proc. Math. Foun. of Prog. Semantics, Springer Lect. Notes in Comp. Sci. 
  6. [6] J.Y. Girard, Linear logic, Theor. Comp. Sci.50, 1987, 1-102. Zbl0625.03037
  7. [7] R. Guitart, Calcul des relations inverses, Cah. de Top. et Géom. Diff. Vol. XVII, No. 1, 1977, 67-100. Zbl0381.18007
  8. [8] A. Joyal and M. Tierney, An Extension of the Galois Theory of Grothendieck, AMS Memoirs No. 309, Amer. Math. Soc., 1984. Zbl0541.18002
  9. [9] K. I. Rosenthal, Quantales and theirApplications, Pitman Research Notes in Math. No. 234, Longman, Scientific and Technical, 1990. Zbl0703.06007
  10. [10] K.I. Rosenthal, *-autonomous categories of bimodules, to appear in Jour. Pure Appl. Alg. Zbl0819.18005
  11. [11] K.I. RosenthalThe Theory of Quantaloids, in preparation Zbl0845.18003
  12. [12] R. Seely, Linear logic, *-autonomous categories, and cofree algebras, in Categories in Computer Science and Logic, Cont. Math. Vol. 92, Amer. Math. Soc., 1989, 371-382. Zbl0674.03007

NotesEmbed ?

top

You must be logged in to post comments.