Autonomous posets and quantales
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Volume 27 (1993) no. 6, pp. 483-501.
@article{ITA_1993__27_6_483_0,
     author = {Mascari, G. F. and Pucci, F.},
     title = {Autonomous posets and quantales},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     pages = {483--501},
     publisher = {EDP-Sciences},
     volume = {27},
     number = {6},
     year = {1993},
     mrnumber = {1258749},
     zbl = {0803.06016},
     language = {en},
     url = {http://www.numdam.org/item/ITA_1993__27_6_483_0/}
}
TY  - JOUR
AU  - Mascari, G. F.
AU  - Pucci, F.
TI  - Autonomous posets and quantales
JO  - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY  - 1993
SP  - 483
EP  - 501
VL  - 27
IS  - 6
PB  - EDP-Sciences
UR  - http://www.numdam.org/item/ITA_1993__27_6_483_0/
LA  - en
ID  - ITA_1993__27_6_483_0
ER  - 
%0 Journal Article
%A Mascari, G. F.
%A Pucci, F.
%T Autonomous posets and quantales
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 1993
%P 483-501
%V 27
%N 6
%I EDP-Sciences
%U http://www.numdam.org/item/ITA_1993__27_6_483_0/
%G en
%F ITA_1993__27_6_483_0
Mascari, G. F.; Pucci, F. Autonomous posets and quantales. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Volume 27 (1993) no. 6, pp. 483-501. http://www.numdam.org/item/ITA_1993__27_6_483_0/

1. M. Abadi and G. D. Plotkin, A Logical view of composition and refinement, Theoretical Computer Science, 1993, 114, pp. 3-30. | MR | Zbl

2. S. Abramsky and S. Vickers, Quantales, observational logic and process semantics, Imperial College Research Report DOC 90/1, January 1990.

3. V. M. Abrusci, Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic, J. of Symbolic Logic, 1991, 56, No. 4. | MR | Zbl

4. G. Amiot, Sémantique des phases de la logique linéaire du second ordre, Prépublication n° 21 de l'Equipe de Logique Mathématique, Université Paris-VII, février 1991.

5. A. Avron, The semantics and proff theory of Linear Logic, Theoretical Computer Science, 1988, 57. | MR | Zbl

6. M. Barr, *-Autonomous Categories, L.N.M. 752, Springer, 1979. | MR | Zbl

7. J. Van Benthem, Logic in action, North Holland, 1991. | MR

8. U. Berni-Canani, F. Borceux, R. Succi-Cruciani and G. Van Den Bossche, Etale maps of quantales, Bull. Soc. Math. Belgique, 1989, XLI, (2). | MR | Zbl

9. G. Birkoff, Lattice Theory, A.M.S. Colloq. Publications, 1967, 25. | Zbl

10. C. Brown, Petri nets as Quantales, Technical Report ECS LFCS 89-96, University of Edinburgh, 1989.

11. M. Dam, Relevance logic and concurrent computation, in Proc. 3th L.I.C.S. I.E.E.E., 1978.

12. Day, Category Seminar, Sydney 1972/3, L.N.M. 420, Springer Verlag.

13. J. M. Dunn, Gaggle theory: an abstraction of Galois connections and residuation, with applications to negation, implication, and various logical operators, L.N.A.I, 478, Springer Verlag, 1990. | MR | Zbl

14. U. Engberg and G. Winskel, Petri Nets as Models of Linear Logic, L.N.C.S. 431, 1991. | MR | Zbl

15. P. J. Freyd and A. Scedrov, Categories, Allegories, North Holland, 1990. | MR | Zbl

16. J. Gallier, Equality in Linear Logic, Draft paper, 1991.

17. J. Y. Girard, Linear Logic, Theoretical Computer Science, 1987, 50, pp. 1-102. | MR | Zbl

18. M. C. B. Hennessy and G. D. Plotkin, Full abstraction for a simple parallel programming language, in Proc. M.F.C.S. 79, L.N.C.S. 74, Springer Verlag, 1979. | MR | Zbl

19. W. H. Hesselink, Axioms and Models of Linear Logic, Formal Aspects of Computing, 1990, 2, pp. 139-166. | Zbl

20. C. A. R. Hoare and He Jifeng, The weakest prespecification, Information Processing Letters, 1987, 24. | MR | Zbl

21. P. T. Johnstone, Stone spaces, Cambridge University Press, 1982. | MR | Zbl

22. A. Joyal and M. Tierney, An Extension of the Galois Theory of Grothendieck, Amer. Math. Soc. Memoirs No. 309, 1984. | MR | Zbl

23. J. Lambek, Categorial and categorical grammars, in Categorial Grammars and Natural Language Structures, R. T. OEHRLE et al. (D. Reidel 1988) Ed., pp. 297-317.

24. J. Lambek, From categorical grammar to bilinear logic, in Substructural logics, K. DOZEN and P. SCHROEDER-HEISTER Eds. (to appear). | MR | Zbl

25. J. Lilius, High-level Nets and Linear Logic, L.N.C.S. 616, Springer Verlag, 1992. | MR

26. S. Mikulas, The completeness of the Lambek calculus with respect to relational semantics, Institute for Language, Logic and Information, Prepublication 92-03.

27. S. Nieffield and K. Rosenthal, Constructing Locales from a Quantale, Mathematical Proc. of the Cambridge Philosophical Soc., 1988, 104. | Zbl

28. E. Orlowska, Algebraic aspects of the relational knowledge representation modal relation algebras, L.N.C.S. 619, Springer, 1992. | MR

29. W. Pratt, Origins of the Calculus of Binary Relations, L.I.C.S., 1992.

30. F. Pucci, C*-Algebre, Logiche e Computazione, Tesi di Laurea in Mathematica, Università di Roma La Sapienza, A.A. 1989-1990.

31. K. I. Rosenthal, Quantales and their applications, Pitman Research Notes in Mathematics Series, Longman Scientific and Technical, 1990. | MR | Zbl

32. K. I. Rosenthal, Free quantaloids, J. of Pure and Applied Algebra, 1991, 72. | MR | Zbl

33. K. I. Rosenthal, Girard quantaloids, Mathematical Structures in Computer Science, 1992, 2. | MR | Zbl

34. B. Stenstrom, Rings of Quotients, Springer Verlag, 1975. | MR | Zbl

35. S. Vickers, Topology via Logic, Cambridge University Press, Cambridge, 1989. | MR | Zbl

36. M. Ward and R. P. Dilworth, Residuated Lattices, Trans. A.M.S., 1939, 45. | JFM | Zbl

37. D. N. Yetter, Quantales and non commutative linear logic, J. of Symbolic Logic, 1990, 55. | Zbl