{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,7,23]],"date-time":"2022-07-23T09:13:00Z","timestamp":1658567580226},"reference-count":37,"publisher":"EDP Sciences","issue":"6","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["RAIRO-Theor. Inf. Appl."],"published-print":{"date-parts":[[1993]]},"DOI":"10.1051\/ita\/1993270604831","type":"journal-article","created":{"date-parts":[[2017,2,2]],"date-time":"2017-02-02T15:05:14Z","timestamp":1486047914000},"page":"483-501","source":"Crossref","is-referenced-by-count":0,"title":["Autonomous posets and quantales"],"prefix":"10.1051","volume":"27","author":[{"given":"G. F.","family":"Mascari","sequence":"first","affiliation":[]},{"given":"F.","family":"Pucci","sequence":"additional","affiliation":[]}],"member":"250","published-online":{"date-parts":[[2011,1,8]]},"reference":[{"key":"R1","doi-asserted-by":"crossref","unstructured":"1. ABADI M. and PLOTKIN G. D., A Logical view of composition and refinement, Theoretical Computer Science, 1993, 114, pp. 3-30.12245100778.68061","DOI":"10.1016\/0304-3975(93)90151-I"},{"key":"R2","unstructured":"2. ABRAMSKY S. and VICKERS S., Quantales, observational logic and process semantics, Imperial College Research Report DOC 90\/1, January 1990.0823.06011"},{"key":"R3","doi-asserted-by":"crossref","unstructured":"3. ABRUSCI V. M., Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic, J. of Symbolic Logic, 1991, 56, No. 4.11364670746.03044","DOI":"10.2307\/2275485"},{"key":"R4","unstructured":"4. AMIOT G., S\u00e9mantique des phases de la logique lin\u00e9aire du second ordre, Pr\u00e9publication n\u00b0 21 de l'Equipe de Logique Math\u00e9matique, Universit\u00e9 Paris-VII, f\u00e9vrier 1991."},{"key":"R5","doi-asserted-by":"crossref","unstructured":"5. AVRON A., The semantics and proff theory of Linear Logic, Theoretical Computer Science, 1988, 57.9601020652.03018","DOI":"10.1016\/0304-3975(88)90037-0"},{"key":"R6","doi-asserted-by":"crossref","unstructured":"6. BARR M., *-Autonomous Categories, L.N.M. 752, Springer, 1979.5508780415.18008","DOI":"10.1007\/BFb0064579"},{"key":"R7","unstructured":"7. VAN BENTHEM J., Logic in action, North Holland, 1991.0717.030011102016"},{"key":"R8","unstructured":"8. BERNI-CANANI U., BORCEUX F., SUCCI-CRUCIANI R. and VAN DEN BOSSCHE G., Etale maps of quantales, Bull. Soc. Math. Belgique, 1989, XLI, (2).10317490687.06005"},{"key":"R9","unstructured":"9. BIRKOFF G., Lattice Theory, A.M.S. Colloq. Publications, 1967, 25.0153.02501"},{"key":"R10","unstructured":"10. BROWN C., Petri nets as Quantales, Technical Report ECS LFCS 89-96, University of Edinburgh, 1989."},{"key":"R11","unstructured":"11. DAM M., Relevance logic and concurrent computation, in Proc. 3th L.I.C.S. I.E.E.E., 1978."},{"key":"R12","unstructured":"12. DAY , Category Seminar, Sydney 1972\/3, L.N.M. 420, Springer Verlag."},{"key":"R13","unstructured":"13. DUNN J. M., 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.10996200814.03044"},{"key":"R14","unstructured":"14. ENGBERG U. and WINSKEL G., Petri Nets as Models of Linear Logic, L.N.C.S. 431, 1991.10750280757.03005"},{"key":"R15","unstructured":"15. FREYD P. J. and SCEDROV A., Categories, Allegories, North Holland, 1990.10711760698.18002"},{"key":"R16","unstructured":"16. GALLIER J., Equality in Linear Logic, Draft paper, 1991."},{"key":"R17","doi-asserted-by":"crossref","unstructured":"17. GIRARD J. Y., Linear Logic, Theoretical Computer Science, 1987, 50, pp. 1-102.8992690625.03037","DOI":"10.1016\/0304-3975(87)90045-4"},{"key":"R18","unstructured":"18. HENNESSY M. C. B. and PLOTKIN G. D., Full abstraction for a simple parallel programming language, in Proc. M.F.C.S. 79, L.N.C.S. 74, Springer Verlag, 1979.5709780457.68006"},{"key":"R19","doi-asserted-by":"crossref","unstructured":"19. HESSELINK W. H., Axioms and Models of Linear Logic, Formal Aspects of Computing, 1990, 2, pp. 139-166.0703.03010","DOI":"10.1007\/BF01888221"},{"key":"R20","doi-asserted-by":"crossref","unstructured":"20. HOARE C. A. R. and HE JIFENG , The weakest prespecification, Information Processing Letters, 1987, 24.8826420622.68025","DOI":"10.1016\/0020-0190(87)90106-2"},{"key":"R21","unstructured":"21. JOHNSTONE P. T., Stone spaces, Cambridge University Press, 1982.6980740499.54001"},{"key":"R22","doi-asserted-by":"crossref","unstructured":"22. JOYAL A. and TIERNEY M., An Extension of the Galois Theory of Grothendieck, Amer. Math. Soc. Memoirs No. 309, 1984.7561760541.18002","DOI":"10.1090\/memo\/0309"},{"key":"R23","doi-asserted-by":"crossref","unstructured":"23. LAMBEK J., Categorial and categorical grammars, in Categorial Grammars and Natural Language Structures, R. T. OEHRLE et al. (D. Reidel 1988) Ed., pp. 297-317.","DOI":"10.1007\/978-94-015-6878-4_11"},{"key":"R24","unstructured":"24. LAMBEK J., From categorical grammar to bilinear logic, in Substructural logics, K. DOZEN and P. SCHROEDER-HEISTER Eds. (to appear).12831980941.03518"},{"key":"R25","doi-asserted-by":"crossref","unstructured":"25. LILIUS J., High-level Nets and Linear Logic, L.N.C.S. 616, Springer Verlag, 1992.1253098","DOI":"10.1007\/3-540-55676-1_18"},{"key":"R26","unstructured":"26. MIKULAS S., The completeness of the Lambek calculus with respect to relational semantics, Institute for Language, Logic and Information, Prepublication 92-03."},{"key":"R27","doi-asserted-by":"crossref","unstructured":"27. NIEFFIELD S. and ROSENTHAL K., Constructing Locales from a Quantale, Mathematical Proc. of the Cambridge Philosophical Soc., 1988, 104.0658.06007","DOI":"10.1017\/S0305004100065403"},{"key":"R28","unstructured":"28. ORLOWSKA E., Algebraic aspects of the relational knowledge representation modal relation algebras, L.N.C.S. 619, Springer, 1992.1231572"},{"key":"R29","doi-asserted-by":"crossref","unstructured":"29. PRATT W., Origins of the Calculus of Binary Relations, L.I.C.S., 1992.","DOI":"10.1109\/LICS.1992.185537"},{"key":"R30","unstructured":"30. PUCCI F., C*-Algebre, Logiche e Computazione, Tesi di Laurea in Mathematica, Universit\u00e0 di Roma La Sapienza, A.A. 1989-1990."},{"key":"R31","unstructured":"31. ROSENTHAL K. I., Quantales and their applications, Pitman Research Notes in Mathematics Series, Longman Scientific and Technical, 1990.10882580703.06007"},{"key":"R32","doi-asserted-by":"crossref","unstructured":"32. ROSENTHAL K. I., Free quantaloids, J. of Pure and Applied Algebra, 1991, 72.11155680729.18007","DOI":"10.1016\/0022-4049(91)90130-T"},{"key":"R33","doi-asserted-by":"crossref","unstructured":"33. ROSENTHAL K. I., Girard quantaloids, Mathematical Structures in Computer Science, 1992, 2.11595010761.18008","DOI":"10.1017\/S0960129500001146"},{"key":"R34","doi-asserted-by":"crossref","unstructured":"34. STENSTROM B., Rings of Quotients, Springer Verlag, 1975.3899530296.16001","DOI":"10.1007\/978-3-642-66066-5"},{"key":"R35","unstructured":"35. VICKERS S., Topology via Logic, Cambridge University Press, Cambridge, 1989.10021930668.54001"},{"key":"R36","doi-asserted-by":"crossref","unstructured":"36. WARD M. and DILWORTH R. P., Residuated Lattices, Trans. A.M.S., 1939, 45.0021.1080165.0084.01","DOI":"10.2307\/1990008"},{"key":"R37","doi-asserted-by":"crossref","unstructured":"37. YETTER D. N., Quantales and non commutative linear logic, J. of Symbolic Logic, 1990, 55.0701.03026","DOI":"10.2307\/2274953"}],"container-title":["RAIRO - Theoretical Informatics and Applications"],"original-title":[],"link":[{"URL":"http:\/\/www.rairo-ita.org\/10.1051\/ita\/1993270604831\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,23]],"date-time":"2022-07-23T08:29:11Z","timestamp":1658564951000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.rairo-ita.org\/10.1051\/ita\/1993270604831"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"references-count":37,"journal-issue":{"issue":"6"},"alternative-id":["ita1993270604831"],"URL":"https:\/\/doi.org\/10.1051\/ita\/1993270604831","relation":{},"ISSN":["0988-3754","1290-385X"],"issn-type":[{"value":"0988-3754","type":"print"},{"value":"1290-385X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993]]}}}