{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:05Z","timestamp":1761611165396},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540282310"},{"type":"electronic","value":"9783540318972"}],"license":[{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11538363_14","type":"book-chapter","created":{"date-parts":[[2005,9,27]],"date-time":"2005-09-27T13:35:33Z","timestamp":1127828133000},"page":"184-199","source":"Crossref","is-referenced-by-count":3,"title":["Permutative Logic"],"prefix":"10.1007","author":[{"given":"Jean-Marc","family":"Andreoli","sequence":"first","affiliation":[]},{"given":"Gabriele","family":"Pulcini","sequence":"additional","affiliation":[]},{"given":"Paul","family":"Ruet","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"14_CR1","unstructured":"Abrusci, V.M.: Non-commutative logic and categorial grammar: ideas and questions. In: Abrusci, V.M., Casadio, C. (eds.) Dynamic Perspectives in Logic and Linguistics, Cooperativa Libraria Universitaria Editrice Bologna (1999)"},{"issue":"1","key":"14_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":"Abrusci, V.M., Ruet, P.: Non-commutative logic I: the multiplicative fragment. Annals of Pure and Applied Logic\u00a0101(1), 29\u201364 (2000)","journal-title":"Annals of Pure and Applied Logic"},{"key":"14_CR3","series-title":"London Mathematical Society Lecture Notes Series","volume-title":"Linear logic in computer science","author":"J.-M. Andreoli","year":"2004","unstructured":"Andreoli, J.-M.: An axiomatic approach to structural rules for locative linear logic. In: Linear logic in computer science. London Mathematical Society Lecture Notes Series, vol.\u00a0316, Cambridge University Press, Cambridge (2004)"},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"Andreoli, J.-M., Pareschi, R.: Linear objects: logical processes with built-in inheritance. New Generation Computing\u00a09 (1991)","DOI":"10.1007\/BF03037173"},{"issue":"5-6","key":"14_CR5","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1007\/s001530050101","volume":"37","author":"G. Bellin","year":"1998","unstructured":"Bellin, G., Fleury, A.: Planar and braided proof-nets for multiplicative linear logic with mix. Archive for Mathematical Logic\u00a037(5-6), 309\u2013325 (1998)","journal-title":"Archive for Mathematical Logic"},{"issue":"1","key":"14_CR6","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1017\/S0960129503004092","volume":"14","author":"C. Gaubert","year":"2004","unstructured":"Gaubert, C.: Two-dimensional proof-structures and the exchange rule. Mathematical Structures in Computer Science\u00a014(1), 73\u201396 (2004)","journal-title":"Mathematical Structures in Computer Science"},{"issue":"1","key":"14_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J.-Y. Girard","year":"1987","unstructured":"Girard, J.-Y.: Linear logic. Theoretical Computer Science\u00a050(1), 1\u2013102 (1987)","journal-title":"Theoretical Computer Science"},{"key":"14_CR8","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"330","DOI":"10.1007\/3-540-45616-3_23","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods","author":"L. Habert","year":"2002","unstructured":"Habert, L., Notin, J.-M., Galmiche, D.: Link: a proof environment based on proof nets. In: Egly, U., Ferm\u00fcller, C. (eds.) TABLEAUX 2002. LNCS (LNAI), vol.\u00a02381, pp. 330\u2013334. Springer, Heidelberg (2002)"},{"key":"14_CR9","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1017\/S0305004100074338","volume":"119","author":"A. Joyal","year":"1996","unstructured":"Joyal, A., Street, R., Verity, D.: Traced monoidal categories. Mathematical Proceedings of the Cambridge Philosophical Society\u00a0119, 447\u2013468 (1996)","journal-title":"Mathematical Proceedings of the Cambridge Philosophical Society"},{"issue":"3","key":"14_CR10","doi-asserted-by":"publisher","first-page":"154","DOI":"10.2307\/2310058","volume":"65","author":"J. Lambek","year":"1958","unstructured":"Lambek, J.: The mathematics of sentence structure. American Mathematical Monthly\u00a065(3), 154\u2013170 (1958)","journal-title":"American Mathematical Monthly"},{"key":"14_CR11","unstructured":"Lecomte, A., Retor\u00e9, C.: Pomset logic as an alternative categorial grammar. In: Oehrle, M. (ed.) Formal Grammar, Barcelona (1995)"},{"key":"14_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4939-9063-4","volume-title":"A basic course in algebraic topology","author":"W.S. Massey","year":"1991","unstructured":"Massey, W.S.: A basic course in algebraic topology. Springer, Heidelberg (1991)"},{"key":"14_CR13","series-title":"London Mathematical Society Lecture Notes Series","volume-title":"Linear logic in computer science","author":"P.-A. Melli\u00e8s","year":"2004","unstructured":"Melli\u00e8s, P.-A.: A topological correctness criterion for multiplicative noncommutative logic. In: Linear logic in computer science. London Mathematical Society Lecture Notes Series, vol.\u00a0316, Cambridge University Press, Cambridge (2004)"},{"issue":"2","key":"14_CR14","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1017\/S0960129500003285","volume":"11","author":"F. M\u00e9tayer","year":"2001","unstructured":"M\u00e9tayer, F.: Implicit exchange in multiplicative proofnets. Mathematical Structures in Computer Science\u00a011(2), 261\u2013272 (2001)","journal-title":"Mathematical Structures in Computer Science"},{"key":"14_CR15","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/0168-0072(91)90068-W","volume":"51","author":"D. Miller","year":"1991","unstructured":"Miller, D., Nadathur, G., Pfenning, F., Scedrov, A.: Uniform proofs as a foundation for logic programming. Annals Pure Appl. Logic\u00a051, 125\u2013157 (1991)","journal-title":"Annals Pure Appl. Logic"},{"key":"14_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/3-540-48959-2_21","volume-title":"Typed Lambda Calculi and Applications","author":"J. Polakow","year":"1999","unstructured":"Polakow, J., Pfenning, F.: Natural deduction for intuitionistic non-commutative linear logic. In: Girard, J.-Y. (ed.) TLCA 1999. LNCS, vol.\u00a01581, pp. 295\u2013309. Springer, Heidelberg (1999)"},{"key":"14_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0052147","volume-title":"Typed Lambda Calculi and Applications","author":"C. Retor\u00e9","year":"1997","unstructured":"Retor\u00e9, C.: Pomset logic - A non-commutative extension of commutative linear logic. In: de Groote, P., Hindley, J.R. (eds.) TLCA 1997. LNCS, vol.\u00a01210, Springer, Heidelberg (1997)"},{"key":"14_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"406","DOI":"10.1007\/BFb0028028","volume-title":"Computer Science Logic","author":"P. Ruet","year":"1998","unstructured":"Ruet, P., Fages, F.: Concurrent constraint programming and non-commutative logic. In: Nielsen, M. (ed.) CSL 1997. LNCS, vol.\u00a01414, pp. 406\u2013423. Springer, Heidelberg (1998)"},{"key":"14_CR19","doi-asserted-by":"crossref","unstructured":"Yetter, D.N.: Quantales and (non-commutative) linear logic. Journal of Symbolic Logic\u00a055(1) (1990)","DOI":"10.2307\/2274953"}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11538363_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,9]],"date-time":"2020-04-09T22:37:14Z","timestamp":1586471834000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11538363_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540282310","9783540318972"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/11538363_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}