{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,12]],"date-time":"2025-06-12T07:10:04Z","timestamp":1749712204751,"version":"3.41.0"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662538258"},{"type":"electronic","value":"9783662538265"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2016,11,10]],"date-time":"2016-11-10T00:00:00Z","timestamp":1478736000000},"content-version":"vor","delay-in-days":314,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We consider, for intuitionistic categorial grammar, an iteration modality with a rule of Mingle and an infinitary left rule, similar to infinitary action logic. Newly, we give Curry-Howard labelling for the iteration modality, in terms of lists, and we prove soundness and completeness of displacement calculus with additives and this modality, for phase semantics. This result has as a corollary semantic Cut-elimination. We review linguistic application of the iteration modality to unbounded addicity iterated coordination, and we present an application of a calibrated version of the iteration modality to an unbounded addicity respectively construction, this being to our knowledge the first account of respectively taking care of cases<jats:inline-formula><jats:alternatives><jats:tex-math>$$n&gt;2$$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\"><mml:mrow><mml:mi>n<\/mml:mi><mml:mo>&gt;<\/mml:mo><mml:mn>2<\/mml:mn><\/mml:mrow><\/mml:math><\/jats:alternatives><\/jats:inline-formula>.<\/jats:p>","DOI":"10.1007\/978-3-662-53826-5_14","type":"book-chapter","created":{"date-parts":[[2016,11,9]],"date-time":"2016-11-09T11:59:48Z","timestamp":1478692788000},"page":"228-246","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["On the Logic of Expansion in Natural Language"],"prefix":"10.1007","author":[{"given":"Glyn","family":"Morrill","sequence":"first","affiliation":[]},{"given":"Oriol","family":"Valent\u00edn","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,11,10]]},"reference":[{"key":"14_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1007\/978-3-540-88282-4_10","volume-title":"Language and Automata Theory and Applications","author":"D B\u00e9chet","year":"2008","unstructured":"B\u00e9chet, D., Dikovsky, A., Foret, A., Garel, E.: Optional and iterated types for pregroup grammars. In: Mart\u00edn-Vide, C., Otto, F., Fernau, H. (eds.) LATA 2008. LNCS, vol. 5196, pp. 88\u2013100. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-88282-4_10"},{"issue":"1","key":"14_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s11225-008-9116-7","volume":"89","author":"W Buszkowski","year":"2008","unstructured":"Buszkowski, W., Palka, E.: Infinitary action logic: complexity, models and grammars. Stud. Logica. 89(1), 1\u201318 (2008)","journal-title":"Stud. Logica."},{"key":"14_CR3","volume-title":"Combinatory Logic","author":"HB Curry","year":"1958","unstructured":"Curry, H.B., Feys, R.: Combinatory Logic, vol. I. North-Holland, Amsterdam (1958)"},{"key":"14_CR4","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. Theor. Comput. Sci. 50, 1\u2013102 (1987)","journal-title":"Theor. Comput. Sci."},{"issue":"2","key":"14_CR5","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1023\/A:1017586008091","volume":"11","author":"N Kamide","year":"2002","unstructured":"Kamide, N.: Substructural logics with mingle. J. Logic Lang. Inf. 11(2), 227\u2013249 (2002)","journal-title":"J. Logic Lang. Inf."},{"issue":"3","key":"14_CR6","doi-asserted-by":"publisher","first-page":"911","DOI":"10.1007\/s11049-015-9315-7","volume":"34","author":"Y Kubota","year":"2016","unstructured":"Kubota, Y., Levine, B.: The syntax-semantics interface of respective predication: a unified analysis in hybrid type-logical categorial grammar. Nat. Lang. Linguist. Theor. 34(3), 911\u2013973 (2016)","journal-title":"Nat. Lang. Linguist. Theor."},{"key":"14_CR7","series-title":"Proceedings of the Symposia in Applied Mathematics XII","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1090\/psapm\/012\/9972","volume-title":"Structure of Language and its Mathematical Aspects","author":"J Lambek","year":"1961","unstructured":"Lambek, J.: On the calculus of syntactic types. In: Jakobson, R. (ed.) Structure of Language and its Mathematical Aspects. Proceedings of the Symposia in Applied Mathematics XII, pp. 166\u2013178. American Mathematical Society, Providence (1961)"},{"key":"14_CR8","series-title":"Studies in Linguistics and Philosophy","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/978-94-015-6878-4_11","volume-title":"Categorial Grammars and Natural Language Structures","author":"J Lambek","year":"1988","unstructured":"Lambek, J.: Categorial and categorical grammars. In: Oehrle, R.T., Bach, E., Wheeler, D. (eds.) Categorial Grammars and Natural Language Structures. Studies in Linguistics and Philosophy, vol. 32, pp. 297\u2013317. D. Reidel, Dordrecht (1988)"},{"key":"14_CR9","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1080\/00029890.1958.11989160","volume":"65","author":"J Lambek","year":"1958","unstructured":"Lambek, J.: The mathematics of sentence structure. Am. Math. Mon. 65, 154\u2013170 (1958)","journal-title":"Am. Math. Mon."},{"key":"14_CR10","unstructured":"Morrill, G.: Grammar and logical types. In: Stockhof, M., Torenvliet, L. (eds) Proceedings of the Seventh Amsterdam Colloquium, pp. 429\u2013450. University of Amsterdam, Amsterdam (1990)"},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"Morrill, G., Valent\u00edn, O.: Computational coverage of TLG: nonlinearity. In: Kanazawa, M., Moss, L.S., de Paiva, V., (eds.) Proceedings of NLCS 2015, Third Workshop on Natural Language and Computer Science, Kyoto. EPiC, vol. 32, pp. 51\u201363 (2015). Workshop affiliated with Automata, Languages and Programming (ICALP) and Logic in Computer Science (LICS)","DOI":"10.29007\/96j5"},{"issue":"1","key":"14_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10849-010-9129-2","volume":"20","author":"G Morrill","year":"2011","unstructured":"Morrill, G., Valent\u00edn, O., Fadda, M.: The displacement calculus. J. Logic Lang. Inf. 20(1), 1\u201348 (2011)","journal-title":"J. Logic Lang. Inf."},{"key":"14_CR13","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-1042-6","volume-title":"Type Logical Grammar: Categorial Logic of Signs","author":"GV Morrill","year":"1994","unstructured":"Morrill, G.V.: Type Logical Grammar: Categorial Logic of Signs. Kluwer Academic Publishers, Dordrecht (1994)"},{"issue":"1\u20132","key":"14_CR14","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1016\/S0304-3975(99)00058-4","volume":"227","author":"M Okada","year":"1999","unstructured":"Okada, M.: Phase semantic Cut-elimination and normalization proofs of first- and higher-order linear logic. Theor. Comput. Sci. 227(1\u20132), 333\u2013396 (1999)","journal-title":"Theor. Comput. Sci."},{"issue":"2","key":"14_CR15","first-page":"295","volume":"78","author":"E Palka","year":"2007","unstructured":"Palka, E.: An infinitary sequent system for the equational theory of *-continuous action lattices. Fundam. Inf. 78(2), 295\u2013309 (2007)","journal-title":"Fundam. Inf."},{"key":"14_CR16","unstructured":"Schiehlen, M.: The role of lists in a categorial analysis of coordination. In: Dekker,\u00a0P., Franke, M (eds.) Proceedings of the 15th Amsterdam Colloquium, pp. 221\u2013226 (2005)"},{"key":"14_CR17","unstructured":"Valent\u00edn, O.: Theory of discontinuous Lambek calculus. Ph.D. thesis, Universitat Aut\u00f2noma de Barcelona, Barcelona (2012)"},{"key":"14_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/978-3-662-53042-9_9","volume-title":"Formal Grammar","author":"O Valent\u00edn","year":"2016","unstructured":"Valent\u00edn, O.: Models for the displacement calculus. In: Foret, A., Morrill, G., Muskens, R., Osswald, R., Pogodalla, S. (eds.) FG 2015-2016. LNCS, vol. 9804, pp. 147\u2013163. Springer, Heidelberg (2016). 10.1007\/978-3-662-53042-9_9"}],"container-title":["Lecture Notes in Computer Science","Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996\u20132016)"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-53826-5_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,12]],"date-time":"2025-06-12T06:56:02Z","timestamp":1749711362000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-662-53826-5_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783662538258","9783662538265"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-53826-5_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"10 November 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"LACL","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Logical Aspects of Computational Linguistics","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Nancy","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2016","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 December 2016","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7 December 2016","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"lacl2016","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/lacl.gforge.inria.fr\/lacl-2016\/index-presentation.html","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}