A note on Girard quantales

Kimmo I. Rosenthal

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

  • Volume: 31, Issue: 1, page 3-11
  • ISSN: 1245-530X

How to cite

top

Rosenthal, Kimmo I.. "A note on Girard quantales." Cahiers de Topologie et Géométrie Différentielle Catégoriques 31.1 (1990): 3-11. <http://eudml.org/doc/91451>.

@article{Rosenthal1990,
author = {Rosenthal, Kimmo I.},
journal = {Cahiers de Topologie et Géométrie Différentielle Catégoriques},
keywords = {linear logic; phase semantics; partially ordered monoids; quantales},
language = {eng},
number = {1},
pages = {3-11},
publisher = {Dunod éditeur, publié avec le concours du CNRS},
title = {A note on Girard quantales},
url = {http://eudml.org/doc/91451},
volume = {31},
year = {1990},
}

TY - JOUR
AU - Rosenthal, Kimmo I.
TI - A note on Girard quantales
JO - Cahiers de Topologie et Géométrie Différentielle Catégoriques
PY - 1990
PB - Dunod éditeur, publié avec le concours du CNRS
VL - 31
IS - 1
SP - 3
EP - 11
LA - eng
KW - linear logic; phase semantics; partially ordered monoids; quantales
UR - http://eudml.org/doc/91451
ER -

References

top
  1. 1 M. Barr, *-Autonomous Categories. Lecture Notes in Math.752, Springer (1979). Zbl0415.18008MR550878
  2. 2 P.H. Chu, Constructing *-autonomous categories, Lecture Notes in Math.752, Springer (1979). 102-138. MR550878
  3. 3 L. Fuchs, Partially ordered algebraic systems. Addison-Wesley, 1963. Zbl0137.02001MR171864
  4. 4 J.Y. Girard, Linear logic, Theor. Comp. Sci.50 (1987), 1-102. Zbl0625.03037MR899269
  5. 5 P.T. Johnstone, Stone spaces, Cambridge Univ. Press, 1982. Zbl0499.54001MR698074
  6. 6 S.B. Niefield& K.I. Rosenthal.Constructing locales from quantales, Math. Proc. ofCambridge Phil. Soc.104 (1988), 215-234. Zbl0658.06007MR948908
  7. 7 C.J. Mulvey. &, Suppl. ai Rend. del Circ. Mat. di Palermo. Serie II. 12 (1986), 99-104. Zbl0633.46065MR853151
  8. 8 D. Yetter, Quantales and non-commutative linear logic (preprint). Zbl0701.03026

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.