{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:45Z","timestamp":1761611205825},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540000105"},{"type":"electronic","value":"9783540360780"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-36078-6_16","type":"book-chapter","created":{"date-parts":[[2007,6,1]],"date-time":"2007-06-01T02:48:36Z","timestamp":1180666116000},"page":"231-246","source":"Crossref","is-referenced-by-count":6,"title":["A Non-commutative Extension of MELL"],"prefix":"10.1007","author":[{"given":"Alessio","family":"Guglielmi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lutz","family":"Stra\u00dfburger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,10,24]]},"reference":[{"issue":"2","key":"16_CR1","doi-asserted-by":"crossref","first-page":"543","DOI":"10.2307\/2275407","volume":"59","author":"Samson Abramsky and Radha Jagadeesan","year":"1994","unstructured":"Samson Abramsky and Radha Jagadeesan. Games and full completeness for multiplicative linear logic. Journal of Symbolic Logic, 59(2):543\u2013574, June 1994.","journal-title":"Journal of Symbolic Logic"},{"issue":"4","key":"16_CR2","doi-asserted-by":"publisher","first-page":"1403","DOI":"10.2307\/2275485","volume":"56","author":"V. Michele Abrusci","year":"1991","unstructured":"V. Michele Abrusci. Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic. Journal of Symbolic Logic, 56(4): 1403\u20131451, 1991.","journal-title":"Journal of Symbolic Logic"},{"issue":"1","key":"16_CR3","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/S0168-0072(99)00014-7","volume":"101","author":"V. Michele Abrusci","year":"2000","unstructured":"V. Michele Abrusci and Paul Ruet. Non-commutative logic I: The multiplicative fragment. Annals of Pure and Applied Logic, 101(1):29\u201364, 2000.","journal-title":"Annals of Pure and Applied Logic"},{"key":"16_CR4","doi-asserted-by":"crossref","unstructured":"Kai Br\u00fcnnler and Alwen Fernanto Tiu. A local system for classical logic. In R. Nieuwenhuis and A. Voronkov, editors, LPAR, 2001, volume 2250 of Lecture Notes in Artificial Intelligence, pages 347\u2013361. Springer-Verlag, 2001. On the web at: http:\/\/www.ki.inf.tu-dresden.de\/~kai\/LocalClassicalLogic-lpar.pdf .","DOI":"10.1007\/3-540-45653-8_24"},{"key":"16_CR5","doi-asserted-by":"crossref","unstructured":"Paola Bruscoli. A purely logical account of sequentiality in proof search. In Peter J. Stuckey, editor, Logic Programming, 18th International Conference, volume 2401 of Lecture Notes in Artificial Intelligence, pages 302\u2013316. Springer-Verlag, 2002. On the web at: http:\/\/www.ki.inf.tu-dresden.de\/~paola\/bvl\/bvl.pdf .","DOI":"10.1007\/3-540-45619-8_21"},{"issue":"2","key":"16_CR6","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1017\/S0960129500000451","volume":"4","author":"A. Fleury","year":"1994","unstructured":"Arnaud Fleury and Christian Retor\u00e9. The mix rule. Mathematical Structures in Computer Science, 4(2):273\u2013285, 1994.","journal-title":"Mathematical Structures in Computer Science"},{"key":"16_CR7","first-page":"68","volume-title":"The Collected Papers of Gerhard Gentzen","author":"G. Gentzen","year":"1969","unstructured":"Gerhard Gentzen. Investigations into logical deduction. In M. E. Szabo, editor, The Collected Papers of Gerhard Gentzen, pages 68\u2013131. North-Holland, Amsterdam, 1969."},{"key":"16_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J.-Y. Girard","year":"1987","unstructured":"Jean-Yves Girard. Linear logic. Theoretical Computer Science, 50:1\u2013102, 1987.","journal-title":"Theoretical Computer Science"},{"key":"16_CR9","unstructured":"Alessio Guglielmi. A calculus of order and interaction. Technical Report WV-99-04, Dresden University of Technology, 1999. On the web at: http:\/\/www.ki.inf.tu-dresden.de\/~guglielm\/Research\/Gug\/Gug.pdf ."},{"key":"16_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1007\/3-540-44802-0_5","volume-title":"CSL 2001","author":"A. Guglielmi","year":"2001","unstructured":"Alessio Guglielmi and Lutz Stra\u00dfburger. Non-commutativity and MELL in the calculus of structures. In L. Fribourg, editor, CSL 2001, volume 2142 of Lecture Notes in Computer Science, pages 54\u201368. Springer-Verlag, 2001. On the web at: http:\/\/www.ki.inf.tu-dresden.de\/~guglielm\/Research\/GugStra\/GugStra.pdf ."},{"key":"16_CR11","doi-asserted-by":"crossref","unstructured":"Alessio Guglielmi and Lutz Stra\u00dfburger. A non-commutative extension of MELL. Technical Report WV-02-03, Dresden University of Technology, 2002. On the web at: http:\/\/www.ki.inf.tu-dresden.de\/~guglielm\/Research\/NEL\/NELbig.pdf .","DOI":"10.1007\/3-540-36078-6_16"},{"key":"16_CR12","doi-asserted-by":"publisher","first-page":"154","DOI":"10.2307\/2310058","volume":"65","author":"J. Lambek","year":"1958","unstructured":"Joachim Lambek. The mathematics of sentence structure. American Mathematical Monthly, 65:154\u2013169, 1958.","journal-title":"American Mathematical Monthly"},{"issue":"l\u20133","key":"16_CR13","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1016\/0168-0072(92)90075-B","volume":"56","author":"P. Lincoln","year":"1992","unstructured":"P. Lincoln, J. Mitchell, A. Scedrov, and N. Shankar. Decision problems for propositional linear logic. Annals of Pure and Applied Logic, 56(l\u20133):239\u2013311, 1992.","journal-title":"Annals of Pure and Applied Logic"},{"key":"16_CR14","unstructured":"Christian R.etor\u00e9. B.\u00e9seaux et S\u00e9quents Ordonn\u00e9s. Th\u00e8se de Doctorat, sp\u00e9cialit\u00e9 math\u00e9matiques, Universit\u00e9 Paris 7, February 1993."},{"key":"16_CR15","unstructured":"Christian Retor\u00e9. A self-dual modality for \u201cBefore\u201d in the category of coherence spaces and in the category of hypercoherences. Technical Report 2432, INRIA, 1994."},{"key":"16_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"300","DOI":"10.1007\/3-540-62688-3_43","volume-title":"TLCA\u201997","author":"C. Retor\u00e9","year":"1997","unstructured":"Christian Retor\u00e9. Pomset logic: A non-commutative extension of classical linear logic. In Ph. de Groote and J. R. Hindley, editors, TLCA\u201997, volume 1210 of Lecture Notes in Computer Science, pages 300\u2013318, 1997."},{"key":"16_CR17","unstructured":"Christian Retor\u00e9. Pomset logic as a calculus of directed cographs. In V. M. Abrusci and C. Casadio, editors, Dynamic Perspectives in Logic and Linguistics, pages 221\u2013247. Bulzoni, Roma, 1999. Also available as INRIA Rapport de Recherche RR-3714."},{"key":"16_CR18","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1017\/S0960129599003084","volume":"10","author":"P. Ruet","year":"2000","unstructured":"Paul Ruet. Non-commutative logic II: Sequent calculus and phase semantics. Mathematical Structures in Computer Science, 10:277\u2013312, 2000.","journal-title":"Mathematical Structures in Computer Science"},{"key":"16_CR19","unstructured":"Lutz Stra\u00dfburger. MELL in the calculus of structures. Technical Report WV-01-03, Dresden University of Technology, 2001. On the web at: http:\/\/www.ki.inf.tu-dresden.de\/~lutz\/els.pdf , submitted to TCS."},{"key":"16_CR20","unstructured":"Lutz Stra\u00dfburger. A local system for linear logic. Technical Report WV-02-01, Dresden University of Technology, 2002. Accepted at LPAR,\u201902, this volume. On the web at: http:\/\/www.ki.inf.tu-dresden.de\/~lutz\/lls-lpar.pdf ."},{"key":"16_CR21","unstructured":"Alwen Fernanto Tiu. Properties of a logical system in the calculus of structures. Technical Report WV-01-06, Dresden University of Technology, 2001. On the web at: http:\/\/www.cse.psu.edu\/~tiu\/thesisc.pdf ."},{"issue":"1","key":"16_CR22","doi-asserted-by":"publisher","first-page":"41","DOI":"10.2307\/2274953","volume":"55","author":"D. N. Yetter","year":"1990","unstructured":"David N. Yetter. Quantales and (noncommutative) linear logic. Journal of Symbolic Logic, 55(1):41\u201364, 1990.","journal-title":"Journal of Symbolic Logic"}],"container-title":["Lecture Notes in Computer Science","Logic for Programming, Artificial Intelligence, and Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36078-6_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T15:18:20Z","timestamp":1556464700000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36078-6_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540000105","9783540360780"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-36078-6_16","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}