Autonomous posets and quantales
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 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},
     zbl = {0803.06016},
     mrnumber = {1258749},
     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
DA  - 1993///
SP  - 483
EP  - 501
VL  - 27
IS  - 6
PB  - EDP-Sciences
UR  - http://www.numdam.org/item/ITA_1993__27_6_483_0/
UR  - https://zbmath.org/?q=an%3A0803.06016
UR  - https://www.ams.org/mathscinet-getitem?mr=1258749
LA  - en
ID  - ITA_1993__27_6_483_0
ER  - 
Mascari, G. F.; Pucci, F. Autonomous posets and quantales. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 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 1224510 | Zbl 0778.68061

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 1136467 | Zbl 0746.03044

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 960102 | Zbl 0652.03018

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

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

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 1031749 | Zbl 0687.06005

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

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 1099620 | Zbl 0814.03044

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

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

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 899269 | Zbl 0625.03037

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 570978 | Zbl 0457.68006

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

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

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

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

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 1283198 | Zbl 0941.03518

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

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 0658.06007

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

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 1088258 | Zbl 0703.06007

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

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

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

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

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

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