{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,20]],"date-time":"2025-11-20T12:23:26Z","timestamp":1763641406835},"reference-count":60,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2010,11,16]],"date-time":"2010-11-16T00:00:00Z","timestamp":1289865600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J of Log Lang and Inf"],"published-print":{"date-parts":[[2011,1]]},"DOI":"10.1007\/s10849-010-9129-2","type":"journal-article","created":{"date-parts":[[2010,11,15]],"date-time":"2010-11-15T12:11:59Z","timestamp":1289823119000},"page":"1-48","source":"Crossref","is-referenced-by-count":53,"title":["The Displacement Calculus"],"prefix":"10.1007","volume":"20","author":[{"given":"Glyn","family":"Morrill","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Oriol","family":"Valent\u00edn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mario","family":"Fadda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2010,11,16]]},"reference":[{"key":"9129_CR1","unstructured":"Bach, E. (1981). Discontinuous constituents in generalized categorial grammars. In V.A. Burke, & J. Pustejovsky (Eds.), Proceedings of the 11th annual meeting of the north eastern linguistics society, New York (pp. 1\u201312). Amherst, Massachussets: GLSA Publications, Department of Linguistics, University of Massachussets at Amherst."},{"key":"9129_CR2","doi-asserted-by":"crossref","unstructured":"Bach, E. (1984). Some generalizations of categorial grammars. In F. Landman, & F. Veltman (Eds.), Varieties of formal semantics: Proceedings of the fourth Amsterdam colloquium (pp. 1\u201323). Foris, Dordrecht. (Reprinted in The formal complexity of natural language, pp. 251\u2013279 by W. J. Savitch, E. Bach, W. Marsh, & G. Safran-Naveh, Eds., 1987, Dordrecht: D. Reidel).","DOI":"10.1007\/978-94-009-3401-6_10"},{"key":"9129_CR3","doi-asserted-by":"crossref","unstructured":"Barry, G., Hepple, M., Leslie, N., & Morrill, G. (1991). Proof figures and structural operators for categorial grammar. In Proceedings of the fifth conference of the European chapter of the association for computational linguistics. Berlin.","DOI":"10.3115\/977180.977215"},{"key":"9129_CR4","doi-asserted-by":"crossref","first-page":"539","DOI":"10.1002\/malq.19820283308","volume":"28","author":"W. Buszkowski","year":"1982","unstructured":"Buszkowski W. (1982) Compatibility of categorial grammar with an associated category system. Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik 28: 539\u2013548","journal-title":"Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik"},{"issue":"4","key":"9129_CR5","doi-asserted-by":"crossref","first-page":"555","DOI":"10.1093\/jigpal\/3.4.555","volume":"3","author":"M. Calcagno","year":"1995","unstructured":"Calcagno M. (1995) A sign-based extension to the Lambek calculus for discontinuous constituency. Bulletin of the IGPL 3(4): 555\u2013578","journal-title":"Bulletin of the IGPL"},{"key":"9129_CR6","unstructured":"Chomsky, N. (1955). The logical structure of linguistic theory. PhD thesis, Harvard University. Excerpt from 1956 revision published by Plenum, New York, 1975, and University of Chicago Press, Chicago."},{"key":"9129_CR7","doi-asserted-by":"crossref","DOI":"10.1515\/9783112316009","volume-title":"Syntactic structures","author":"N. Chomsky","year":"1957","unstructured":"Chomsky N. (1957) Syntactic structures. Mouton, The Hague"},{"key":"9129_CR8","volume-title":"Aspects of the theory of syntax","author":"N. Chomsky","year":"1965","unstructured":"Chomsky N. (1965) Aspects of the theory of syntax. MIT Press, Cambridge, MA"},{"key":"9129_CR9","unstructured":"Culy, C. D. (1985). The complexity of the vocabulary of bambara. Linguistics and Philosophy, 8, 345\u2013351. (Reprinted in The formal complexity of natural language, pp, 349\u2013357, by W. J. Savitch, E. Bach, W. Marsh, & G. Safran-Naveh, Eds., 1987, Dordrecht: D. Reidel)."},{"key":"9129_CR10","unstructured":"Fadda, M. (2010). Geometry of grammar: Exercises in Lambek style. PhD thesis, Universitat Polit\u00e8cnica de Catalunya, Barcelona."},{"key":"9129_CR11","volume-title":"Generalized phrase structure grammar","author":"G. Gazdar","year":"1985","unstructured":"Gazdar G., Klein E., Pullum G., Sag I. (1985) Generalized phrase structure grammar. Basil Blackwell, Oxford"},{"key":"9129_CR12","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J.-Y. Girard","year":"1987","unstructured":"Girard J.-Y. (1987) Linear logic. Theoretical Computer Science 50: 1\u2013102","journal-title":"Theoretical Computer Science"},{"key":"9129_CR13","unstructured":"Hendriks, P. (1995). Comparatives and categorial grammar. PhD thesis, Rijksuniversiteit Groningen, Groningen."},{"key":"9129_CR14","unstructured":"Hepple M. (1990). The grammar and processing of order and dependency. PhD thesis, University of Edinburgh."},{"key":"9129_CR15","first-page":"24","volume":"1","author":"M. A. C. Huybregts","year":"1976","unstructured":"Huybregts M. A. C. (1976) Overlapping dependencies in Dutch. Utrecht Working Papers in Linguistics 1: 24\u201365","journal-title":"Utrecht Working Papers in Linguistics"},{"key":"9129_CR16","first-page":"81","volume-title":"Van periferie naar kern","author":"R. Huybregts","year":"1985","unstructured":"Huybregts R. (1985) The weak inadequacy of context-free phrase structure grammars. In: de Haan G. J., Trommelen M., Zonneveld W. (eds) Van periferie naar kern. Foris Publications, Dordrecht, pp 81\u201399"},{"key":"9129_CR17","doi-asserted-by":"crossref","unstructured":"Lambek, J. (1958). The mathematics of sentence structure. American Mathematical Monthly, 65, 154\u2013170. (Reprinted in Categorial grammar, Linguistic & Literary Studies in Eastern Europe, Vol. 25, pp. 153\u2013172, by W. Buszkowski, W. Marciszewski, & J. van Benthem, Eds., 1988, Amsterdam: John Benjamins).","DOI":"10.1080\/00029890.1958.11989160"},{"key":"9129_CR18","unstructured":"Lambek, J. (1969). Deductive systems and categories II. Number 87 in LNM. Springer, pp. 76\u2013122."},{"key":"9129_CR19","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1007\/978-94-015-6878-4_11","volume-title":"Categorial grammars and natural language structures, Vol. 32 of Studies in Linguistics and Philosophy","author":"J. Lambek","year":"1988","unstructured":"Lambek J. (1988) Categorial and categorical grammars. In: Oehrle R. T., Bach E., Wheeler D. (eds) Categorial grammars and natural language structures, Vol. 32 of Studies in Linguistics and Philosophy. D. Reidel, Dordrecht, pp 297\u2013317"},{"key":"9129_CR20","doi-asserted-by":"crossref","unstructured":"Montague, R. (1970). Universal grammar. Theoria, 36, 373\u2013398. (Reprinted in Formal philosophy: Selected papers of Richard Montague, pp. 222\u2013246, by R. H. Thomason Ed., 1974, New Haven: Yale University Press).","DOI":"10.1111\/j.1755-2567.1970.tb00434.x"},{"key":"9129_CR21","unstructured":"Montague, R. (1973). The proper treatment of quantification in ordinary English. In J. Hintikka, J. M. E. Moravcsik, & P. Suppes (Eds.), Approaches to natural language: Proceedings of the 1970 Stanford workshop on grammar and semantics (pp. 189\u2013224). D. Reidel, Dordrecht. (Reprinted in Formal Philosophy: Selected Papers of Richard Montague, pp. 247\u2013270, by R. H. Thomason Ed., 1974, New Haven: Yale University Press)."},{"key":"9129_CR22","unstructured":"Moortgat, M., & Oehrle, R. T. (1994). Adjacency, dependency and order. In P. Dekker, & M. Stokhof (Eds.), Proceedings of the 9th Amsterdam colloquim (pp. 447\u2013466). Amsterdam: ILLC."},{"key":"9129_CR23","doi-asserted-by":"crossref","unstructured":"Moortgat, M. (1988). Categorial investigations: Logical and linguistic aspects of the Lambek calculus. PhD thesis, Universiteit van Amsterdam, Foris, Dordrecht.","DOI":"10.1515\/9783112329580"},{"key":"9129_CR24","unstructured":"Moortgat, M. (1991). Generalized quantification and discontinuous type constructors. Manuscript, Universiteit Utrecht. Revised version published in H. Bunt, editor, Discontinuous Constituency, Berlin: De Gruyter, 1996, 181\u2013207."},{"key":"9129_CR25","unstructured":"Moortgat, M. (1996). In situ binding: A modal analysis. In P. Dekker, & M. Stokhof (Eds.), Proceedings of the 10th Amsterdam colloquium (pp. 235\u2013240). Amsterdam: ILLC, Universiteit van Amsterdam."},{"key":"9129_CR26","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1016\/B978-044481714-3\/50005-9","volume-title":"Handbook of logic and language","author":"M. Moortgat","year":"1997","unstructured":"Moortgat M. (1997) Categorial type logics. In: van Benthem J., ter Meulen A. (eds) Handbook of logic and language. Elsevier Science B.V., the MIT Press, Amsterdam, Cambridge, Massachusetts, pp 93\u2013177"},{"key":"9129_CR27","unstructured":"Moortgat M., & Morrill, G. (1991). Heads and phrases: Type calculus for dependency and constituent structure. Manuscript, Universiteit Utrecht."},{"key":"9129_CR28","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1023\/A:1008399708659","volume":"10","author":"R. Moot","year":"2001","unstructured":"Moot R., Piazza M. (2001) Linguistic applications of first order intuitionistic linear logic. Journal of Logic, Language and Information 10: 211\u2013232","journal-title":"Journal of Logic, Language and Information"},{"issue":"6","key":"9129_CR29","doi-asserted-by":"crossref","first-page":"699","DOI":"10.1007\/BF00627513","volume":"13","author":"G. Morrill","year":"1990","unstructured":"Morrill G. (1990) Intensionality and boundedness. Linguistics and Philosophy 13(6): 699\u2013726","journal-title":"Linguistics and Philosophy"},{"issue":"2","key":"9129_CR30","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1007\/BF00985216","volume":"18","author":"G. Morrill","year":"1995","unstructured":"Morrill G. (1995) Discontinuity in categorial grammar. Linguistics and Philosophy 18(2): 175\u2013219","journal-title":"Linguistics and Philosophy"},{"key":"9129_CR31","unstructured":"Morrill G. (1997). Proof syntax of discontinuity. In P. Dekker, M. Stokhof, & Y. Venema (Eds.), Proceedings of the 11th Amsterdam colloquium (pp. 235\u2013240). Universiteit van Amsterdam, Institute for Logic, Language and Computation, ILLC."},{"key":"9129_CR32","first-page":"145","volume-title":"Dynamic perspectives in logic and linguistics","author":"G. Morrill","year":"1999","unstructured":"Morrill G. (1999) Relational interpretation and geometrical form. In: Abrusci V. M., Casadio C. (eds) Dynamic perspectives in logic and linguistics. Bulzoni, Rome, pp 145\u2013182"},{"issue":"3","key":"9129_CR33","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1162\/089120100561728","volume":"26","author":"G. Morrill","year":"2000","unstructured":"Morrill G. (2000) Incremental processing and acceptability. Computational Linguistics 26(3): 319\u2013338","journal-title":"Computational Linguistics"},{"key":"9129_CR34","unstructured":"Morrill, G. (2002). Towards generalised discontinuity. In G. J\u00e4ger, P. Monachesi, G. Penn, & S. Wintner (Eds.), Proceedings of the 7th conference on formal grammar (pp. 103\u2013111). Trento: ESSLLI."},{"key":"9129_CR35","unstructured":"Morrill, G. (2003). Syntax and semantics: Formal approaches. In L. Nadal (Ed.), Encyclopedia of cognitive science (Vol. 4, pp. 338\u2013345). London: Nature Publishing Group, Macmillan Publishers Ltd."},{"issue":"2","key":"9129_CR36","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1093\/logcom\/exm089","volume":"18","author":"G. Morrill","year":"2008","unstructured":"Morrill G., Fadda M. (2008) Proof nets for basic discontinuous Lambek calculus. Logic and Computation 18(2): 239\u2013256","journal-title":"Logic and Computation"},{"key":"9129_CR37","unstructured":"Morrill, G., Fadda, M., & Valent\u00edn O. (2007). Nondeterministic discontinuous Lambek calculus. In J. Geertzen, E. Thijsse, H. Bunt, & A. Schiffrin (Eds.), Proceedings of the seventh international workshop on computational semantics, IWCS-7 (pp. 129\u2013141). Tilburg University."},{"key":"9129_CR38","unstructured":"Morrill, G., & Gavarr\u00f3, A. (1992). Catalan clitics. In A. Lecomte (Ed.), Word order in categorial grammar\/L\u2019Ordre des mots dans les grammaires cat\u00e9gorielles (pp. 211\u2013232). Clermont-Ferrand: \u00c9dicions Adosa."},{"issue":"2","key":"9129_CR39","first-page":"119","volume":"37","author":"G. Morrill","year":"1996","unstructured":"Morrill G., Merenciano J.-M. (1996) Generalising discontinuity. Traitement Automatique des Langues 37(2): 119\u2013143","journal-title":"Traitement Automatique des Langues"},{"key":"9129_CR40","doi-asserted-by":"crossref","unstructured":"Morrill, G., & Solias, T. M. (1993). Tuples, discontinuity and gapping in categorial grammar. In Proceedings of the European chapter of the association for computational linguistics, EACL93 (pp. 287\u2013297). Utrecht.","DOI":"10.3115\/976744.976778"},{"key":"9129_CR41","unstructured":"Morrill, G., & Valent\u00edn, O. (2010a). Displacement calculus. Submitted to the Festschrift for Joachim Lambek, special issue of Linguistic analysis. http:\/\/arxiv.org\/abs\/1004.4181 ."},{"key":"9129_CR42","volume-title":"Generalized discontinuity","author":"G. Morrill","year":"2010","unstructured":"Morrill G., Valent\u00edn O. (2010b) Generalized discontinuity. Formal Grammar 2010, Copenhagen"},{"key":"9129_CR43","doi-asserted-by":"crossref","unstructured":"Morrill, G., and Valent\u00edn, O. (2010c). On anaphora and the binding principles in categorial grammar. In A. Dawar, & R. de Queiroz (Eds.), Proceedings of the 17th international workshop on logic, language, information and computation, WoLLIC 2010, Bras\u00edlia, number LNAI 6188 in Lecture Notes in Artificial Intelligence (pp. 176\u2013190). Berlin: Springer.","DOI":"10.1007\/978-3-642-13824-9_15"},{"key":"9129_CR44","unstructured":"Morrill, G., & Valent\u00edn, O. (2010d). On calculus of displacement. In: S. Bangalore, R. Frank, & M. Romero (Eds.), TAG+10: Proceedings of the 10th international workshop on tree adjoining grammars and related formalisms (pp. 45\u201352). New Haven: Linguistics Department, Yale University."},{"key":"9129_CR45","doi-asserted-by":"crossref","unstructured":"Morrill, G., Valent\u00edn, O., & Fadda, M. (2009). Dutch grammar and processing: A case study in TLG. In P. Bosch, D. Gabelaia, & J. Lang (Eds.), Logic, language, and computation: 7th international Tbilisi symposium, revised selected papers, number 5422 in lecture notes in artificial intelligence (pp. 272\u2013286). Berlin: Springer.","DOI":"10.1007\/978-3-642-00665-4_22"},{"key":"9129_CR46","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-1042-6","volume-title":"Type logical grammar: Categorial logic of signs","author":"G. V. Morrill","year":"1994","unstructured":"Morrill G. V. (1994) Type logical grammar: Categorial logic of signs. Kluwer Academic Publishers, Dordrecht"},{"key":"9129_CR47","volume-title":"Categorial grammar: Logical syntax, semantics, and processing","author":"G. V. Morrill","year":"2010","unstructured":"Morrill G. V. (2010) Categorial grammar: Logical syntax, semantics, and processing. Oxford University Press, Oxford"},{"key":"9129_CR48","doi-asserted-by":"crossref","first-page":"624","DOI":"10.1016\/B0-08-044854-2\/02002-2","volume-title":"Encyclopedia of language & linguistics","author":"A. Ojeda","year":"2006","unstructured":"Ojeda A. (2006) Discontinuous dependencies. In: Brown K. (eds) Encyclopedia of language & linguistics. Elsevier, Amsterdam, pp 624\u2013630","edition":"2"},{"key":"9129_CR49","first-page":"171","volume-title":"Logic colloquium \u201996, Vol. 12, lecture notes in logic","author":"M. Pentus","year":"1998","unstructured":"Pentus M. (1998) Free monoid completeness of the Lambek calculus allowing empty premises. In: Larrazabal J. M., Lascar D., Mints G. (eds) Logic colloquium \u201996, Vol. 12, lecture notes in logic. Springer, Berlin, pp 171\u2013209"},{"key":"9129_CR50","unstructured":"Pollard, C. (1984). Generalized phrase structure grammars, head grammars and natural language. PhD thesis, Stanford University."},{"key":"9129_CR51","unstructured":"Roorda, D. (1991) Resource logics: Proof-theoretical investigations. PhD thesis, Universiteit van Amsterdam."},{"key":"9129_CR52","doi-asserted-by":"crossref","unstructured":"Shieber S. (1985). Evidence against the context-freeness of natural language. Linguistics and Philosophy, 8, 333\u2013343. (Reprinted in The Formal Complexity of Natural Language, pp. 320\u2013334, by W. J. Savitch, E. Bach, W. Marsh, & G. Safran-Naveh Eds., 1987, Dordrecht: D. Reidel).","DOI":"10.1007\/BF00630917"},{"key":"9129_CR53","unstructured":"Solias T. M. (1992). Gramatiques categoriales, coordinacion generalizada y elision. PhD thesis, Universidad Aut\u00f3noma de Madrid, 1992. Revised version published as Gram\u00e1tica categorial: Modelos y aplicaciones, Editorial Sintesis, Madrid, 1996."},{"key":"9129_CR54","doi-asserted-by":"crossref","first-page":"523","DOI":"10.2307\/414385","volume":"61","author":"M. Steedman","year":"1985","unstructured":"Steedman M. (1985) Dependency and coordination in the grammar of Dutch and English. Language 61: 523\u2013568","journal-title":"Language"},{"issue":"2","key":"9129_CR55","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1007\/BF00630734","volume":"13","author":"M. Steedman","year":"1990","unstructured":"Steedman M. (1990) Gapping as constituent coordination. Linguistics and Philosophy 13(2): 207\u2013263","journal-title":"Linguistics and Philosophy"},{"key":"9129_CR56","unstructured":"van Benthem J. (1991) Language in action: Categories, lambdas, and dynamic logic. Number 130 in Studies in Logic and the Foundations of Mathematics. North-Holland, Amsterdam. Revised student edition printed in 1995 by the MIT Press."},{"key":"9129_CR57","unstructured":"van Benthem J. (1983). The semantics of variety in categorial grammar. Technical Report 83\u201329, Department of Mathematics, Simon Fraser University. (Published in Categorial Grammar, Linguistic & Literary Studies in Eastern Europe Vol. 25, pp. 37\u201355, by W. Buszkowski, W. Marciszewski, & J. van Benthem Eds., 1988, Amsterdam: John Benjamins)."},{"key":"9129_CR58","unstructured":"Valent\u00edn, O. (forthcoming) Discontinuous Lambek calculus. PhD thesis, Universitat Aut\u00f2noma de Barcelona, Barcelona."},{"key":"9129_CR59","unstructured":"Versmissen K. (1991). Discontinuous type constructors in categorial grammar. Master\u2019s thesis, Universiteit Utrecht."},{"key":"9129_CR60","unstructured":"Yngve, V. (1960). A model and an hypothesis for language structures. In Proceedings of the American philosophical society (Vol. 104, pp. 444\u2013466)."}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-010-9129-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10849-010-9129-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-010-9129-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,13]],"date-time":"2021-11-13T15:08:54Z","timestamp":1636816134000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10849-010-9129-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,11,16]]},"references-count":60,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2011,1]]}},"alternative-id":["9129"],"URL":"https:\/\/doi.org\/10.1007\/s10849-010-9129-2","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"value":"0925-8531","type":"print"},{"value":"1572-9583","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,11,16]]}}}