{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,9]],"date-time":"2026-01-09T03:11:20Z","timestamp":1767928280613,"version":"3.49.0"},"reference-count":52,"publisher":"Cambridge University Press (CUP)","issue":"4","license":[{"start":{"date-parts":[[2014,3,12]],"date-time":"2014-03-12T00:00:00Z","timestamp":1394582400000},"content-version":"unspecified","delay-in-days":5580,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[1998,12]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We present a full completeness theorem for the multiplicative fragment of a variant of noncommutative linear logic, Yetter's<jats:italic>cyclic linear logic<\/jats:italic>(CyLL). The semantics is obtained by interpreting proofs as dinatural transformations on a category of topological vector spaces, these transformations being equivariant under certain actions of a noncocommutative Hopf algebra called the<jats:italic>shuffle algebra<\/jats:italic>Multiplicative sequents are assigned a vector space of such dinaturals, and we show that this space has as a basis the denotations of cut-free proofs in CyLL + MIX. This can be viewed as a fully faithful representation of a free *-autonomous category, canonically enriched over vector spaces.<\/jats:p><jats:p>This paper is a natural extension of the authors' previous work, \u201cLinear L\u00e4uchli Semantics\u201d, where a similar theorem is obtained for the commutative logic MLL + MIX. In that paper, we interpret proofs as dinaturals which are invariant under certain actions of the additive group of integers. Here we also present a simplification of that work by showing that the invariance criterion is actually a consequence of dinaturality. The passage from groups to Hopf algebras in this paper corresponds to the passage from commutative to noncommutative logic. However, in our noncommutative setting, one must still keep the invariance condition on dinaturals.<\/jats:p>","DOI":"10.2307\/2586659","type":"journal-article","created":{"date-parts":[[2006,5,6]],"date-time":"2006-05-06T18:01:33Z","timestamp":1146938493000},"page":"1413-1436","source":"Crossref","is-referenced-by-count":17,"title":["The shuffle Hopf algebra and noncommutative full completeness"],"prefix":"10.1017","volume":"63","author":[{"given":"R. F.","family":"Blute","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P. J.","family":"Scott","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S0022481200014341_ref009","unstructured":"Barr M. , Noncommutative *-autonomous categories, preprint, 1993."},{"key":"S0022481200014341_ref035","first-page":"1","volume-title":"Proceedings of the New York symposium on applications of categorical algebra","author":"Lawvere"},{"key":"S0022481200014341_ref008","volume-title":"*-autonomous categories","author":"Barr","year":"1980"},{"key":"S0022481200014341_ref020","volume-title":"Th\u00e8se du doctorat","author":"Fleury","year":"1996"},{"key":"S0022481200014341_ref047","doi-asserted-by":"publisher","DOI":"10.1016\/0097-3165(87)90006-9"},{"key":"S0022481200014341_ref052","first-page":"41","volume":"55","author":"Yetter","year":"1990","journal-title":"Quantales and (noncommutative) linear logic"},{"key":"S0022481200014341_ref036","doi-asserted-by":"publisher","DOI":"10.1111\/j.1746-8361.1969.tb01194.x"},{"key":"S0022481200014341_ref040","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511526619"},{"key":"S0022481200014341_ref025","volume-title":"Proofs and types","author":"Girard","year":"1989"},{"key":"S0022481200014341_ref019","doi-asserted-by":"publisher","DOI":"10.1007\/BF01622878"},{"key":"S0022481200014341_ref011","doi-asserted-by":"crossref","first-page":"427","DOI":"10.3233\/FI-1989-12402","article-title":"Bialgebras: some foundations for distributed and concurrent computation","volume":"12","author":"Benson","year":"1989","journal-title":"Fundamenta Informaticae"},{"key":"S0022481200014341_ref004","first-page":"1403","volume":"56","author":"Abrusci","year":"1991","journal-title":"Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic"},{"key":"S0022481200014341_ref029","doi-asserted-by":"crossref","unstructured":"Hyland J. M. E. , Game semantics, in A. Pitts and P. Dybjer [40], pp. 131\u2013184.","DOI":"10.1017\/CBO9780511526619.005"},{"key":"S0022481200014341_ref003","first-page":"543","volume":"59","author":"Abramsky","year":"1994","journal-title":"Games and full completeness for multiplicative linear logic"},{"key":"S0022481200014341_ref014","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(95)00017-8"},{"key":"S0022481200014341_ref024","volume-title":"Coherent Banach spaces","author":"Girard","year":"1996"},{"key":"S0022481200014341_ref015","volume-title":"Electronic Notes in Theoretical Computer Science","volume":"3","author":"Blute","year":"1996"},{"key":"S0022481200014341_ref030","unstructured":"Hyland J. M. E. and Ong C.-H. L. , On full abstraction for PCF, to appear, 1995."},{"key":"S0022481200014341_ref042","unstructured":"Plotkin G. , 08 1996, private communication."},{"key":"S0022481200014341_ref001","volume-title":"Hopf algebras","author":"Ab\u00e9","year":"1977"},{"key":"S0022481200014341_ref017","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(89)90068-0"},{"key":"S0022481200014341_ref002","doi-asserted-by":"crossref","unstructured":"Abramsky S. , Semantics of interaction: an introduction to game semantics, in A. Pitts and P. Dybjer [40], pp. 1\u201331.","DOI":"10.1017\/CBO9780511526619.002"},{"key":"S0022481200014341_ref006","first-page":"15","article-title":"Duality of Banach spaces","volume":"17","author":"Barr","year":"1976","journal-title":"Cahiers de Topologie et G\u00e9om\u00e9trie Diff\u00e9rentielle Cat\u00e9goriques"},{"key":"S0022481200014341_ref007","first-page":"3","article-title":"Duality of vector spaces","volume":"17","author":"Barr","year":"1976","journal-title":"Cahiers de Topologie et G\u00e9om\u00e9trie Diff\u00e9rentielle Cat\u00e9goriques"},{"key":"S0022481200014341_ref012","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(93)90053-V"},{"key":"S0022481200014341_ref013","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129500000943"},{"key":"S0022481200014341_ref016","first-page":"85","article-title":"Proof theory for full intuitionistic linear logic, bilinear logic and mix categories","volume":"3","author":"Cockett","year":"1997","journal-title":"Theory and Applications of Categories"},{"key":"S0022481200014341_ref018","volume-title":"Th\u00e8se du doctorat","author":"Danos","year":"1990"},{"key":"S0022481200014341_ref022","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(86)90044-7"},{"key":"S0022481200014341_ref023","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(87)90045-4"},{"key":"S0022481200014341_ref027","first-page":"200","volume":"57","author":"Harnik","year":"1992","journal-title":"Lambek's categorical proof theory and L\u00e0uchli's abstract realizability"},{"key":"S0022481200014341_ref028","volume-title":"CWI Quarterly","volume":"4","author":"Hazewinkel","year":"1991"},{"key":"S0022481200014341_ref031","doi-asserted-by":"publisher","DOI":"10.1002\/sapm197961293"},{"key":"S0022481200014341_ref032","doi-asserted-by":"publisher","DOI":"10.1016\/0001-8708(81)90052-9"},{"key":"S0022481200014341_ref033","volume-title":"Advances in linear logic","author":"Lambek","year":"1995"},{"key":"S0022481200014341_ref037","volume-title":"Algebraic topology","author":"Lefschetz","year":"1963"},{"key":"S0022481200014341_ref038","doi-asserted-by":"publisher","DOI":"10.1016\/0021-8693(90)90099-A"},{"key":"S0022481200014341_ref039","doi-asserted-by":"publisher","DOI":"10.1142\/S0217751X90000027"},{"key":"S0022481200014341_ref041","first-page":"363","volume-title":"To H. B. Curry, essays on combinatory logic, Lambda calculus, and formalism","author":"Plotkin","year":"1980"},{"key":"S0022481200014341_ref043","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0037118"},{"key":"S0022481200014341_ref044","first-page":"39","article-title":"Calcul de Lambek et logique lin\u00e9aire","volume":"37","author":"Retor\u00e9","journal-title":"Traitement Automatique des Langues"},{"key":"S0022481200014341_ref045","unstructured":"Retor\u00e9 C. , Des r\u00e9seaux de demonstration pour la linguistique, manuscript, 1996."},{"key":"S0022481200014341_ref010","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129500000955"},{"key":"S0022481200014341_ref046","doi-asserted-by":"publisher","DOI":"10.1016\/0022-4049(94)90059-0"},{"key":"S0022481200014341_ref048","doi-asserted-by":"publisher","DOI":"10.4153\/CJM-1993-021-5"},{"key":"S0022481200014341_ref050","volume-title":"Topological vector spaces, distributions and kernels","author":"Treves","year":"1967"},{"key":"S0022481200014341_ref051","first-page":"252","article-title":"On Hopf algebras and rigid monoidal categories","volume":"71","author":"Ulbrich","year":"1989","journal-title":"Israel Journal of Mathematics"},{"key":"S0022481200014341_ref005","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(90)90151-7"},{"key":"S0022481200014341_ref034","first-page":"227","volume-title":"lntuitionism and proof theory","author":"L\u00e4uchli","year":"1970"},{"key":"S0022481200014341_ref021","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129500000451"},{"key":"S0022481200014341_ref026","first-page":"217","volume-title":"Logic from computer science","author":"Girard","year":"1991"},{"key":"S0022481200014341_ref049","volume-title":"Hopf algebras","author":"Sweedler","year":"1969"}],"container-title":["Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200014341","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,26]],"date-time":"2021-07-26T20:11:02Z","timestamp":1627330262000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200014341\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,12]]},"references-count":52,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1998,12]]}},"alternative-id":["S0022481200014341"],"URL":"https:\/\/doi.org\/10.2307\/2586659","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[1998,12]]}}}