{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T08:08:12Z","timestamp":1648627692220},"reference-count":14,"publisher":"Springer Science and Business Media LLC","issue":"2-3","license":[{"start":{"date-parts":[[2007,11,23]],"date-time":"2007-11-23T00:00:00Z","timestamp":1195776000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2007,12,6]]},"DOI":"10.1007\/s11225-007-9089-y","type":"journal-article","created":{"date-parts":[[2007,11,22]],"date-time":"2007-11-22T12:51:50Z","timestamp":1195735910000},"page":"269-294","source":"Crossref","is-referenced-by-count":0,"title":["A Mixed \u03bb-calculus"],"prefix":"10.1007","volume":"87","author":[{"given":"Marie-Ren\u00e9e","family":"Fleury","sequence":"first","affiliation":[]},{"given":"Myriam","family":"Quatrini","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2007,11,23]]},"reference":[{"key":"9089_CR1","doi-asserted-by":"crossref","unstructured":"Bechet, Denis, Philippe de Groote, and Christian R\u00e9tor\u00e9, A complete axiomatisation for the inclusion of series-parallel partial orders, in RTA\u201997 series LNCS 1232, 1997, pp. 230\u2013240.","DOI":"10.1007\/3-540-62950-5_74"},{"key":"9089_CR2","doi-asserted-by":"crossref","unstructured":"Buszkowski, W., \u2018The Logic of Types\u2019, in J. Srzednicki (ed.), Initiatives in Logic, M. Nijhoff, Dordrecht, 1987, pp. 180\u2013206.","DOI":"10.1007\/978-94-009-3673-7_11"},{"key":"9089_CR3","doi-asserted-by":"crossref","unstructured":"Buszkowski, W., \u2018Generative Power of Categorial Grammars\u2019, in R. Oehrle et\u00a0al. (eds.), Categorial Grammars and Natural Languages Structures, Reidel, Dortrecht, 1988, pp. 69\u201394.","DOI":"10.1007\/978-94-015-6878-4_4"},{"key":"9089_CR4","doi-asserted-by":"crossref","unstructured":"de Groote, Philippe, \u2018Towards Abstract Categorial Grammars\u2019, Association for Computational Linguistics, 39th Annual Meeting and 10th Conference of the European Chapter, Proceeding of the conference, pp. 148\u2013155.","DOI":"10.3115\/1073012.1073045"},{"key":"9089_CR5","unstructured":"de Groote, Philippe \u2018Partially commutative linear logic: sequent calculus and phase semantics\u2019, in Michele Abrusci and Claudia Casadio (eds.), Third Roma Workshop: Proofs and Linguistic Categories Applications of Logic to the analysis and implementation of Natural Language, Bologna: CLUEB, 1996, pp. 199\u2013208."},{"key":"9089_CR6","doi-asserted-by":"crossref","first-page":"154","DOI":"10.1080\/00029890.1958.11989160","volume":"65","author":"Joachim Lambek","year":"1958","unstructured":"Lambek Joachim (1958). \u2018The mathematics of sentences structures\u2019. Am. Math. Monthly 65:154\u2013169","journal-title":"Am. Math. Monthly"},{"key":"9089_CR7","doi-asserted-by":"crossref","unstructured":"Mogbil, Virgile, \u2018Quadratic correctness criterion for non-commutative logic\u2019, Lecture Notes in Computer Sciences 2142, 2001 proceeding of the 15th International Workshop Computer Science Logic, CSL 2001, 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001, pp. 69\u201383.","DOI":"10.1007\/3-540-44802-0_6"},{"key":"9089_CR8","doi-asserted-by":"crossref","unstructured":"Mohring, R., Computationally tractable classes of ordered sets, ASI Series 222, NATO, 1989.","DOI":"10.1007\/978-94-009-2639-4_4"},{"key":"9089_CR9","doi-asserted-by":"crossref","unstructured":"Moortgat, Michael, \u2018Categorial type logic\u2019, in van Benthem and ter Meulen (eds.), Handbook of logic and language, North-Holland Elsevier, Amsterdam, Chapter 2, 1997, pp. 93\u2013177.","DOI":"10.1016\/B978-044481714-3\/50005-9"},{"key":"9089_CR10","unstructured":"Muskens, Reinart, \u2018\u03bb-grammars and the Syntax-Semantics Interface\u2019, in Robert van Rooy and Martin Stokhof (eds.), Proceedings of the Thirteenth Amsterdam Colloquium, University of Amsterdam, 2001, pp. 150\u2013155."},{"issue":"1","key":"9089_CR11","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1016\/S0168-0072(99)00014-7","volume":"101","author":"Michele Abrusci Vito","year":"1999","unstructured":"Abrusci Vito Michele, Paul Ruet (1999). \u2018Non-commutative logic I: the multiplicative fragment\u2019. Annals of Pure and Applied Logic 101(1):29\u201364","journal-title":"Annals of Pure and Applied Logic"},{"key":"9089_CR12","doi-asserted-by":"crossref","unstructured":"Ruet, Paul, \u2018Non-commutative logic II: sequent calculus and phase semantics\u2019, Math. Struct. in Comp. Sciences vol.10, Cambridge University Press, 2000, pp. 277\u2013312.","DOI":"10.1017\/S0960129599003084"},{"key":"9089_CR13","doi-asserted-by":"crossref","unstructured":"Wansing, Heinrich, \u2018Formulas-as-Types for a hierarchy of sublogics of intuitionistic propositional logics\u2019, in D. Pearce and H. Wansing (eds.), Non classical Logics and Information Processing, Springer Lecture Notes in AI 619:125\u2013145, 1992, Springer, Berlin.","DOI":"10.1007\/BFb0031928"},{"key":"9089_CR14","first-page":"59","volume":"681","author":"Heinrich Wansing","year":"1993","unstructured":"Wansing Heinrich (1993). \u2018The Logic of Information Structures\u2019. Springer Lecture Notes in AI 681:59\u201380","journal-title":"Springer Lecture Notes in AI"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-007-9089-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-007-9089-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-007-9089-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T10:24:42Z","timestamp":1559384682000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-007-9089-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,11,23]]},"references-count":14,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[2007,12,6]]}},"alternative-id":["9089"],"URL":"https:\/\/doi.org\/10.1007\/s11225-007-9089-y","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,11,23]]}}}