{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,16]],"date-time":"2025-01-16T21:40:06Z","timestamp":1737063606864,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540425540"},{"type":"electronic","value":"9783540448020"}],"license":[{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-44802-0_6","type":"book-chapter","created":{"date-parts":[[2007,6,1]],"date-time":"2007-06-01T04:15:38Z","timestamp":1180671338000},"page":"69-83","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Quadratic Correctness Criterion for Non-commutative Logic"],"prefix":"10.1007","author":[{"given":"Virgile","family":"Mogbil","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,8,30]]},"reference":[{"issue":"4","key":"6_CR1","doi-asserted-by":"publisher","first-page":"1403","DOI":"10.2307\/2275485","volume":"56","author":"V. M. Abrusci","year":"1991","unstructured":"V. M. Abrusci. Phase semantics and sequent calculus for pure non-commutative classical linear propositional logic. Journal of Symbolic Logic, 56(4):1403\u20131451, 1991.","journal-title":"Journal of Symbolic Logic"},{"key":"6_CR2","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/S0168-0072(99)00014-7","volume":"101","author":"V. M. Abrusci","year":"2000","unstructured":"V. M. Abrusci and P. Ruet. Non commutative logic I: the multiplicative fragment. Annals of Pure and Applied Logic, 101:29\u201364, 2000.","journal-title":"Annals of Pure and Applied Logic"},{"key":"6_CR3","series-title":"PhD thesis","volume-title":"Une application de la logique lin\u00e9aire \u00e1 l\u2019 \u00e9tude des processus de normalisation (principalement de \u03bb-calcul)","author":"V. Danos","year":"1990","unstructured":"V. Danos. Une application de la logique lin\u00e9aire \u00e1 l\u2019 \u00e9tude des processus de normalisation (principalement de \u03bb-calcul). PhD thesis, Universit\u00e9 Denis Diderot, Paris 7, 1990."},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"J.-Y. Girard. Linear logic. Theoretical Computer Science, 50, 1987.","DOI":"10.1016\/0304-3975(87)90045-4"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"J.-Y. Girard. Towards a geometry of interaction. In John W. Gray and Andre Scedrov, editors, Categories in Computer Science and Logic, volume 92 of Contemporary Mathematics, pages 69\u2013108, Providence, Rhode Island, 1989. American Mathematical Society.","DOI":"10.1090\/conm\/092\/1003197"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"S. Guerrini. Correctness of multiplicative proof nets is linear. In Fourteenth Annual IEEE Symposium on Logic in Computer Science, pages 454\u2013463. IEEE Computer Science, 1999.","DOI":"10.1109\/LICS.1999.782640"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"Y. Lafont. From proof nets to interaction nets. In J.-Y. Girard, Y. Lafont, and L. Regnier, editors, Advances in Linear Logic, pages 225\u2013247. Cambridge University Press, 1995. Proceedings of the Workshop on Linear Logic, Ithaca, New York, June 1993.","DOI":"10.1017\/CBO9780511629150.012"},{"issue":"3","key":"6_CR8","doi-asserted-by":"publisher","first-page":"154","DOI":"10.2307\/2310058","volume":"65","author":"J. Lambek","year":"1958","unstructured":"J. Lambek. The mathematics of sentence structure. Amer. Math. Mon., 65(3):154\u2013170, 1958.","journal-title":"Amer. Math. Mon."},{"key":"6_CR9","unstructured":"R. Maieli. A new correctness criterion for multiplicative non-commutative proof-nets. Technical report, Institut de math\u00e9matiques de Luminy, 2000."},{"key":"6_CR10","unstructured":"V. Mogbil. S\u00e9mantique des phases, r\u00e9seaux de preuve et divers probl\u00e9mes de d\u00e9cision en logique lin\u00e9aire. PhD thesis, Universit\u00e9 de la m\u00e9diterran\u00e9e-Aix-Marseille II, 2001."},{"key":"6_CR11","unstructured":"R. Maieli and P. Ruet. Non commutative logic III: focusing proofs. Technical Report 2000-14, insitut de Math\u00e9matiques de Luminy, 2000."},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"P. Ruet. Non commutative logic II: sequent calculus and phase semantics. Math. Struct. in Comp. Sci, 10(2), 2000.","DOI":"10.1017\/S0960129599003084"},{"issue":"1","key":"6_CR13","doi-asserted-by":"publisher","first-page":"41","DOI":"10.2307\/2274953","volume":"55","author":"D. N. Yetter","year":"1990","unstructured":"D. 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","Computer Science Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44802-0_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,16]],"date-time":"2025-01-16T21:02:41Z","timestamp":1737061361000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44802-0_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540425540","9783540448020"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-44802-0_6","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]},"assertion":[{"value":"30 August 2001","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}