@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, Tome 27 (1993) no. 6, pp. 483-501. http://www.numdam.org/item/ITA_1993__27_6_483_0/
1. A Logical view of composition and refinement, Theoretical Computer Science, 1993, 114, pp. 3-30. | MR | Zbl
and ,2. Quantales, observational logic and process semantics, Imperial College Research Report DOC 90/1, January 1990.
and ,3. Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic, J. of Symbolic Logic, 1991, 56, No. 4. | MR | Zbl
,4. 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. The semantics and proff theory of Linear Logic, Theoretical Computer Science, 1988, 57. | MR | Zbl
,6. *-Autonomous Categories, L.N.M. 752, Springer, 1979. | MR | Zbl
,7. Logic in action, North Holland, 1991. | MR
,8. Etale maps of quantales, Bull. Soc. Math. Belgique, 1989, XLI, (2). | MR | Zbl
, , and ,9. Lattice Theory, A.M.S. Colloq. Publications, 1967, 25. | Zbl
,10. Petri nets as Quantales, Technical Report ECS LFCS 89-96, University of Edinburgh, 1989.
,11. Relevance logic and concurrent computation, in Proc. 3th L.I.C.S. I.E.E.E., 1978.
,12. Category Seminar, Sydney 1972/3, L.N.M. 420, Springer Verlag.
,13. 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. Petri Nets as Models of Linear Logic, L.N.C.S. 431, 1991. | MR | Zbl
and ,15. Categories, Allegories, North Holland, 1990. | MR | Zbl
and ,16. Equality in Linear Logic, Draft paper, 1991.
,17. Linear Logic, Theoretical Computer Science, 1987, 50, pp. 1-102. | MR | Zbl
,18. 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
and ,19. Axioms and Models of Linear Logic, Formal Aspects of Computing, 1990, 2, pp. 139-166. | Zbl
,20. The weakest prespecification, Information Processing Letters, 1987, 24. | MR | Zbl
and ,21. Stone spaces, Cambridge University Press, 1982. | MR | Zbl
,22. An Extension of the Galois Theory of Grothendieck, Amer. Math. Soc. Memoirs No. 309, 1984. | MR | Zbl
and ,23. Categorial and categorical grammars, in Categorial Grammars and Natural Language Structures, R. T. OEHRLE et al. (D. Reidel 1988) Ed., pp. 297-317.
,24. From categorical grammar to bilinear logic, in Substructural logics, K. DOZEN and P. SCHROEDER-HEISTER Eds. (to appear). | MR | Zbl
,25. High-level Nets and Linear Logic, L.N.C.S. 616, Springer Verlag, 1992. | MR
,26. The completeness of the Lambek calculus with respect to relational semantics, Institute for Language, Logic and Information, Prepublication 92-03.
,27. Constructing Locales from a Quantale, Mathematical Proc. of the Cambridge Philosophical Soc., 1988, 104. | Zbl
and ,28. Algebraic aspects of the relational knowledge representation modal relation algebras, L.N.C.S. 619, Springer, 1992. | MR
,29. Origins of the Calculus of Binary Relations, L.I.C.S., 1992.
,30. C*-Algebre, Logiche e Computazione, Tesi di Laurea in Mathematica, Università di Roma La Sapienza, A.A. 1989-1990.
,31. Quantales and their applications, Pitman Research Notes in Mathematics Series, Longman Scientific and Technical, 1990. | MR | Zbl
,32. Free quantaloids, J. of Pure and Applied Algebra, 1991, 72. | MR | Zbl
,33. Girard quantaloids, Mathematical Structures in Computer Science, 1992, 2. | MR | Zbl
,34. Rings of Quotients, Springer Verlag, 1975. | MR | Zbl
,35. Topology via Logic, Cambridge University Press, Cambridge, 1989. | MR | Zbl
,36. Residuated Lattices, Trans. A.M.S., 1939, 45. | JFM | Zbl
and ,37. Quantales and non commutative linear logic, J. of Symbolic Logic, 1990, 55. | Zbl
,