{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,2,25]],"date-time":"2023-02-25T07:26:40Z","timestamp":1677310000824},"reference-count":17,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2008,7,1]],"date-time":"2008-07-01T00:00:00Z","timestamp":1214870400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Appl Categor Struct"],"published-print":{"date-parts":[[2010,4]]},"DOI":"10.1007\/s10485-008-9138-3","type":"journal-article","created":{"date-parts":[[2008,6,30]],"date-time":"2008-06-30T10:28:32Z","timestamp":1214821712000},"page":"123-133","source":"Crossref","is-referenced-by-count":1,"title":["Girard Couples of Quantales"],"prefix":"10.1007","volume":"18","author":[{"given":"J. M.","family":"Egger","sequence":"first","affiliation":[]},{"given":"David","family":"Kruml","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2008,7,1]]},"reference":[{"key":"9138_CR1","volume-title":"\u2217-autonomous categories. Lecture Notes in Mathematics, vol.\u00a0752","author":"M. Barr","year":"1979","unstructured":"Barr, M.: \u2217-autonomous categories. Lecture Notes in Mathematics, vol.\u00a0752. Springer, Berlin (1979). With an appendix by Po Hsiang Chu"},{"key":"9138_CR2","doi-asserted-by":"crossref","first-page":"467","DOI":"10.1090\/S0002-9947-1958-0094302-9","volume":"88","author":"C.C. Chang","year":"1958","unstructured":"Chang, C.C.: Algebraic analysis of many valued logics. Trans. Amer. Math. Soc. 88, 467\u2013490 (1958)","journal-title":"Trans. Amer. Math. Soc."},{"issue":"5","key":"9138_CR3","first-page":"85","volume":"3","author":"J.R.B. Cockett","year":"1997","unstructured":"Cockett, J.R.B., Seely, R.A.G.: Proof theory for full intuitionistic linear logic, bilinear logic, and MIX categories. Theory Appl. Categ. 3(5), 85\u2013131 (1997) (electronic)","journal-title":"Theory Appl. Categ."},{"key":"9138_CR4","unstructured":"Egger, J.M.: *-autonomous functor categories. Theory Appl. Categ. 20 (2008, in press)"},{"issue":"1","key":"9138_CR5","first-page":"101","volume":"50","author":"J.-Y Girard","year":"1987","unstructured":"Girard, J.-Y.: Linear logic. Theoret. Comput. Sci. 50(1), 101 (1987)","journal-title":"Theoret. Comput. Sci."},{"key":"9138_CR6","doi-asserted-by":"crossref","unstructured":"Joyal, A., Tierney, M.: An Extension of the Galois Theory of Grothendieck. Memoirs of the American Mathematical Society, vol.\u00a0309 (1984)","DOI":"10.1090\/memo\/0309"},{"key":"9138_CR7","doi-asserted-by":"crossref","unstructured":"Kadison, R.V., Ringrose, J.R.: Fundamentals of the Theory of Operator Algebras I, II. Graduate Studies in Mathematics, vol.\u00a015, 16. American Mathematical Society (1997)","DOI":"10.1090\/gsm\/016"},{"key":"9138_CR8","doi-asserted-by":"crossref","unstructured":"Kruml, D., Paseka, J.: Algebraic and categorical aspects of quantales. In: Handbook of Algebra, vol.\u00a03, pp.\u00a01\u201339. Elsevier (2008)","DOI":"10.1016\/S1570-7954(07)05006-1"},{"key":"9138_CR9","first-page":"345","volume-title":"Canadian Mathematical Society Conference Proceedings, vol.\u00a013","author":"C.J. Mulvey","year":"1992","unstructured":"Mulvey, C.J., Pelletier, J.W.: A quantisation of the calculus of relations. In: Canadian Mathematical Society Conference Proceedings, vol.\u00a013, pp.\u00a0345\u2013360. American Mathematical Society, Providence (1992)"},{"key":"9138_CR10","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/S0022-4049(00)00059-1","volume":"159","author":"C.J. Mulvey","year":"2001","unstructured":"Mulvey, C.J., Pelletier, J.W.: On the quantisation of points. J. Pure Appl. Algebra 159, 231\u2013295 (2001)","journal-title":"J. Pure Appl. Algebra"},{"issue":"3","key":"9138_CR11","doi-asserted-by":"crossref","first-page":"355","DOI":"10.1023\/A:1005287830751","volume":"65","author":"F. Paoli","year":"2000","unstructured":"Paoli, F.: A common abstraction of MV-algebras and abelian l-groups. Stud. Log. 65(3), 355\u2013366 (2000)","journal-title":"Stud. Log."},{"key":"9138_CR12","unstructured":"Paseka, J.: Simple quantales. In: Proceedings of the 8th Prague Topological Symposium, pp.\u00a0314\u2013428. Topology Atlas (1997)"},{"key":"9138_CR13","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1023\/A:1008605720422","volume":"5","author":"J.W. Pelletier","year":"1997","unstructured":"Pelletier, J.W.: Von Neumann algebras and Hilbert quantales. Appl. Categ. Struct. 5, 249\u2013264 (1997)","journal-title":"Appl. Categ. Struct."},{"key":"9138_CR14","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1006\/jabr.1997.7051","volume":"195","author":"J.W. Pelletier","year":"1997","unstructured":"Pelletier, J.W., Rosick\u00fd, J.: Simple involutive quantales. J. Algebra 195, 367\u2013386 (1997)","journal-title":"J. Algebra"},{"key":"9138_CR15","doi-asserted-by":"crossref","first-page":"418","DOI":"10.1090\/S0002-9947-1960-0120171-3","volume":"97","author":"G.N. Raney","year":"1960","unstructured":"Raney, G.N.: Tight Galois connections and complete distributivity. Trans. Amer. Math. Soc. 97, 418\u2013426 (1960)","journal-title":"Trans. Amer. Math. Soc."},{"key":"9138_CR16","volume-title":"Quantales and their applications","author":"K.I. Rosenthal","year":"1990","unstructured":"Rosenthal, K.I.: Quantales and their applications. Pitman Research Notes in Mathematics Series, vol.\u00a0234. Longman, Essex (1990)"},{"issue":"1","key":"9138_CR17","doi-asserted-by":"crossref","first-page":"41","DOI":"10.2307\/2274953","volume":"55","author":"D.N. Yetter","year":"1990","unstructured":"Yetter, D.N.: Quantales and (noncommutative) linear logic. J. Symb. Log. 55(1), 41\u201364 (1990)","journal-title":"J. Symb. Log."}],"container-title":["Applied Categorical Structures"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-008-9138-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10485-008-9138-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-008-9138-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T18:24:27Z","timestamp":1559154267000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10485-008-9138-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,7,1]]},"references-count":17,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2010,4]]}},"alternative-id":["9138"],"URL":"https:\/\/doi.org\/10.1007\/s10485-008-9138-3","relation":{},"ISSN":["0927-2852","1572-9095"],"issn-type":[{"value":"0927-2852","type":"print"},{"value":"1572-9095","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,7,1]]}}}