{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,8]],"date-time":"2026-07-08T22:27:29Z","timestamp":1783549649471,"version":"3.55.0"},"reference-count":33,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[2003,2,1]],"date-time":"2003-02-01T00:00:00Z","timestamp":1044057600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":3819,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theoretical Computer Science"],"published-print":{"date-parts":[[2003,2]]},"DOI":"10.1016\/s0304-3975(01)00169-4","type":"journal-article","created":{"date-parts":[[2003,1,30]],"date-time":"2003-01-30T19:22:41Z","timestamp":1043954561000},"page":"439-471","source":"Crossref","is-referenced-by-count":24,"title":["Chu spaces as a semantic bridge between linear logic and mathematics"],"prefix":"10.1016","volume":"294","author":[{"given":"Vaughan","family":"Pratt","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"78","reference":[{"issue":"2","key":"10.1016\/S0304-3975(01)00169-4_BIB1","doi-asserted-by":"crossref","first-page":"543","DOI":"10.2307\/2275407","article-title":"Games and full completeness for multiplicative linear logic","volume":"59","author":"Abramsky","year":"1994","journal-title":"J. Symbolic Logic"},{"issue":"2","key":"10.1016\/S0304-3975(01)00169-4_BIB2","doi-asserted-by":"crossref","first-page":"543","DOI":"10.2307\/2275407","article-title":"Games and full completeness for multiplicative linear logic","volume":"59","author":"Abramsky","year":"1994","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/S0304-3975(01)00169-4_BIB3","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1002\/malq.19900360405","article-title":"Non-commutative intuitionistic linear propositional logic","volume":"36","author":"Abrusci","year":"1990","journal-title":"Z. Math.c Logik Grundlagen Mathematik"},{"key":"10.1016\/S0304-3975(01)00169-4_BIB4","series-title":"*-Autonomous Categories","volume":"vol. 752","author":"Barr","year":"1979"},{"issue":"2","key":"10.1016\/S0304-3975(01)00169-4_BIB5","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1017\/S0960129500001274","article-title":"*-Autonomous categories and linear logic","volume":"1","author":"Barr","year":"1991","journal-title":"Math Struct. Comput. Sci."},{"issue":"3","key":"10.1016\/S0304-3975(01)00169-4_BIB6","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1017\/S096012950000102X","article-title":"Fuzzy models of linear logic","volume":"6","author":"Barr","year":"1996","journal-title":"Math. Struct. Comput. Sci."},{"key":"10.1016\/S0304-3975(01)00169-4_BIB7","doi-asserted-by":"crossref","first-page":"823","DOI":"10.2307\/1968621","article-title":"The logic of quantum mechanics","volume":"37","author":"Birkhoff","year":"1936","journal-title":"Ann. Math."},{"key":"10.1016\/S0304-3975(01)00169-4_BIB8","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0168-0072(92)90073-9","article-title":"A game semantics for linear logic","volume":"56","author":"Blass","year":"1992","journal-title":"Ann. Pure Appl Logic"},{"issue":"2","key":"10.1016\/S0304-3975(01)00169-4_BIB9","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1017\/S0960129500000943","article-title":"Hopf algebras and linear logic (with appendix by M. Barr)","volume":"6","author":"Blute","year":"1996","journal-title":"Math. Struct. Comput. Sci."},{"key":"10.1016\/S0304-3975(01)00169-4_BIB10","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1016\/0168-0072(95)00017-8","article-title":"Linear L\u00e4uchli semantics","volume":"77","author":"Blute","year":"1996","journal-title":"Ann. Pure Appl. Logic"},{"key":"10.1016\/S0304-3975(01)00169-4_BIB11","doi-asserted-by":"crossref","first-page":"1413","DOI":"10.2307\/2586659","article-title":"The shuffle Hopf algebra and non-commutative full completeness","volume":"63","author":"Blute","year":"1998","journal-title":"J. Symbolic Logic"},{"issue":"2","key":"10.1016\/S0304-3975(01)00169-4_BIB12","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1017\/S0960129500001286","article-title":"Temporal structures","volume":"1","author":"Casley","year":"1991","journal-title":"Math. Struct. Comput. Sci."},{"key":"10.1016\/S0304-3975(01)00169-4_BIB13","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1007\/BF01622878","article-title":"The structure of multiplicatives","volume":"28","author":"Danos","year":"1989","journal-title":"Arch. Math. Logic"},{"key":"10.1016\/S0304-3975(01)00169-4_BIB14","doi-asserted-by":"crossref","unstructured":"V. de Paiva, The dialectica categories, in: J.W. Gray, A. Scedrov (Eds.), Categories in Computer Science and Logic, Contemporary Mathematics, vol. 92, June 1987, Boulder, Colorado, 1989, pp. 47\u201362.","DOI":"10.1090\/conm\/092\/1003194"},{"key":"10.1016\/S0304-3975(01)00169-4_BIB15","doi-asserted-by":"crossref","unstructured":"V. de Paiva, A dialectica-like model of linear logic, Proc. Conf. on Category Theory and Computer Science, Lecture Notes in Computer Science, vol. 389, Manchester, September 1989, Springer, Berlin, pp. 341\u2013356.","DOI":"10.1007\/BFb0018360"},{"key":"10.1016\/S0304-3975(01)00169-4_BIB16","doi-asserted-by":"crossref","unstructured":"H. Devarajan, D. Hughes, G. Plotkin, V. Pratt, Full completeness of the multiplicative linear logic of Chu spaces, Proc. 14th Ann. IEEE Symp. on Logic in Computer Science, Trento, Italy, July 1999, pp. 234\u2013243.","DOI":"10.1109\/LICS.1999.782619"},{"key":"10.1016\/S0304-3975(01)00169-4_BIB17","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","article-title":"Linear logic","volume":"50","author":"Girard","year":"1987","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/S0304-3975(01)00169-4_BIB18","doi-asserted-by":"crossref","unstructured":"J.-Y. Girard, Towards a geometry of interaction, in: J.W. Gray, A. Scedrov (Eds.), Categories in Computer Science and Logic, Contemporary Mathematics, vol. 92, June 1987, Boulder, Colorado, 1989, pp. 69\u2013108.","DOI":"10.1090\/conm\/092\/1003197"},{"key":"10.1016\/S0304-3975(01)00169-4_BIB19","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1016\/0021-8693(69)90054-4","article-title":"How comprehensive is the category of semigroups","volume":"11","author":"Hedrl\u0131\u0301n","year":"1969","journal-title":"J. Algebra"},{"key":"10.1016\/S0304-3975(01)00169-4_BIB20","unstructured":"J.M.E. Hyland, C.-H.L. Ong, Fair games and full completeness for multiplicative linear logic without the mix-rule, Available by ftp from ftp.comlab.ox.ac.uk as fcomplete.ps.gz in \/pub\/Documents\/techpapers\/Luke.Ong, 1993."},{"key":"10.1016\/S0304-3975(01)00169-4_BIB21","doi-asserted-by":"crossref","unstructured":"Y. Lafont, T. Streicher, Games semantics for linear logic, Proc. 6th Ann. IEEE Symp. on Logic in Computer Science, Amsterdam, July 1991, pp. 43\u201349.","DOI":"10.1109\/LICS.1991.151629"},{"key":"10.1016\/S0304-3975(01)00169-4_BIB22","series-title":"Introduction to Higher-Order Categorical Logic","author":"Lambek","year":"1986"},{"key":"10.1016\/S0304-3975(01)00169-4_BIB23","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1090\/S0002-9947-1945-0012204-1","article-title":"On infinite dimensional vector spaces","volume":"57","author":"Mackey","year":"1945","journal-title":"Trans. Amer. Math. Soc."},{"key":"10.1016\/S0304-3975(01)00169-4_BIB24","series-title":"Categories for the Working Mathematician","author":"Mac Lane","year":"1971"},{"key":"10.1016\/S0304-3975(01)00169-4_BIB25","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1016\/S0022-4049(97)00036-4","article-title":"Dinatural numbers","volume":"128","author":"Par\u00e9","year":"1998","journal-title":"J. Pure Appl. Algebra"},{"key":"10.1016\/S0304-3975(01)00169-4_BIB26","series-title":"To H.B. Curry","first-page":"363","article-title":"Lambda definability in the full type hierarchy","author":"Plotkin","year":"1980"},{"issue":"1","key":"10.1016\/S0304-3975(01)00169-4_BIB27","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/BF01379149","article-title":"Modeling concurrency with partial orders","volume":"15","author":"Pratt","year":"1986","journal-title":"Int. J. Parallel Programming"},{"key":"10.1016\/S0304-3975(01)00169-4_BIB28","doi-asserted-by":"crossref","unstructured":"V.R. Pratt, The second calculus of binary relations, Proc. MFCS\u201993, Lecture Notes in Computer Science, vol. 711, Gda\u0144sk, Poland, 1993, Springer, Berlin, pp. 142\u2013155.","DOI":"10.1007\/3-540-57182-5_9"},{"key":"10.1016\/S0304-3975(01)00169-4_BIB29","series-title":"Logic in Computer Science","first-page":"444","article-title":"The Stone gamut","author":"Pratt","year":"1995"},{"key":"10.1016\/S0304-3975(01)00169-4_BIB30","doi-asserted-by":"crossref","unstructured":"V.R. Pratt, Towards full completeness of the linear logic of chu spaces, in: S. Brookes, M. Mislove (Eds.), Electronic Notes in Theoretical Computer Science, vol. 6, Pittsburgh, 1997, URL: http:\/\/www.elsevier.nl\/locate\/entcs\/volume6.html, 18pp.","DOI":"10.1016\/S1571-0661(05)80152-5"},{"key":"10.1016\/S0304-3975(01)00169-4_BIB31","series-title":"Combinatorial, Algebraic and Topological Representations of Groups, Semigroups, and Categories","author":"Pultr","year":"1980"},{"key":"10.1016\/S0304-3975(01)00169-4_BIB32","unstructured":"A. Tan, Full completeness for models of linear logic, Ph.D. Thesis, King's College, University of Cambridge, October 1997."},{"key":"10.1016\/S0304-3975(01)00169-4_BIB33","first-page":"143","article-title":"Universal categories","volume":"7","author":"Trnkov\u00e1","year":"1966","journal-title":"Comment. Math. Univ. Carolinae"}],"container-title":["Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397501001694?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397501001694?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,31]],"date-time":"2019-03-31T10:51:05Z","timestamp":1554029465000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0304397501001694"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,2]]},"references-count":33,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2003,2]]}},"alternative-id":["S0304397501001694"],"URL":"https:\/\/doi.org\/10.1016\/s0304-3975(01)00169-4","relation":{},"ISSN":["0304-3975"],"issn-type":[{"value":"0304-3975","type":"print"}],"subject":[],"published":{"date-parts":[[2003,2]]}}}