{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,5,7]],"date-time":"2024-05-07T05:59:27Z","timestamp":1715061567926},"reference-count":12,"publisher":"Cambridge University Press (CUP)","issue":"2","license":[{"start":{"date-parts":[[2014,3,12]],"date-time":"2014-03-12T00:00:00Z","timestamp":1394582400000},"content-version":"unspecified","delay-in-days":3571,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[2004,6]]},"abstract":"<jats:title>Abstract.<\/jats:title><jats:p>In a previous work with Antonio Bucciarelli, we introduced <jats:italic>indexed linear logic<\/jats:italic> as a tool for studying and enlarging the denotational semantics of linear logic. In particular, we showed how to define new denotational models of linear logic using <jats:italic>symmetric product phase models<\/jats:italic> (truth-value models) of indexed linear logic. We present here a strict extension of indexed linear logic for which symmetric product phase spaces provide a complete semantics. We study the connection between this new system and indexed linear logic.<\/jats:p>","DOI":"10.2178\/jsl\/1082418530","type":"journal-article","created":{"date-parts":[[2005,3,2]],"date-time":"2005-03-02T16:33:38Z","timestamp":1109781218000},"page":"340-370","source":"Crossref","is-referenced-by-count":2,"title":["A completeness theorem for symmetric product phase spaces"],"prefix":"10.1017","volume":"69","author":[{"given":"Thomas","family":"Ehrhard","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S0022481200007775_ref008","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511629150"},{"key":"S0022481200007775_ref002","first-page":"73","volume-title":"Proceedings of the second typed lambda-calculi and applications conference","volume":"902","author":"Bierman","year":"1995"},{"key":"S0022481200007775_ref001","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511983504"},{"key":"S0022481200007775_ref009","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(99)00055-9"},{"key":"S0022481200007775_ref007","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(87)90045-4"},{"key":"S0022481200007775_ref005","doi-asserted-by":"publisher","DOI":"10.1016\/S0168-0072(00)00056-7"},{"key":"S0022481200007775_ref006","volume-title":"Theoretical Computer Science","author":"Ehrhard","year":"2003"},{"key":"S0022481200007775_ref004","doi-asserted-by":"publisher","DOI":"10.1016\/S0168-0072(99)00040-8"},{"key":"S0022481200007775_ref012","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(99)00058-4"},{"key":"S0022481200007775_ref003","unstructured":"Bruasse-Bac Alexandra , Logique lin\u00e9aire index\u00e9e du second ordre, Th\u00e8se de doctorat , Universit\u00e9 de la M\u00e9diterran\u00e9e, 2001."},{"key":"S0022481200007775_ref011","unstructured":"Okada Mitsuhiro , Girard's phase semantics and a higher order cut elimination proof, Unpublished, 1994."},{"key":"S0022481200007775_ref010","article-title":"Generalizing coherent domains and hypercoherences","volume":"2","author":"Lamarche","year":"1995","journal-title":"Electronic Notes in Theoretical Computer Science"}],"container-title":["Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200007775","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,6]],"date-time":"2019-05-06T17:02:38Z","timestamp":1557162158000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200007775\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,6]]},"references-count":12,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2004,6]]}},"alternative-id":["S0022481200007775"],"URL":"https:\/\/doi.org\/10.2178\/jsl\/1082418530","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004,6]]}}}