{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T03:15:56Z","timestamp":1742958956789,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662530412"},{"type":"electronic","value":"9783662530429"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-662-53042-9_9","type":"book-chapter","created":{"date-parts":[[2016,8,5]],"date-time":"2016-08-05T09:36:04Z","timestamp":1470389764000},"page":"147-163","source":"Crossref","is-referenced-by-count":2,"title":["Models for the Displacement Calculus"],"prefix":"10.1007","author":[{"given":"Oriol","family":"Valent\u00edn","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,8,6]]},"reference":[{"key":"9_CR1","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1007\/BF01531058","volume":"4","author":"A Avron","year":"1991","unstructured":"Avron, A.: Hypersequents, logical consequence and intermediate logic form concurrency. Ann. Math. Stat. Artif. Intell. 4, 225\u2013248 (1991)","journal-title":"Ann. Math. Stat. Artif. Intell."},{"key":"9_CR2","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1002\/malq.19860320104","volume":"32","author":"W Buszkowski","year":"1986","unstructured":"Buszkowski, W.: Completeness results for Lambek syntactic calculus. Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik 32, 13\u201328 (1986)","journal-title":"Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik"},{"issue":"3","key":"9_CR3","first-page":"307","volume":"11","author":"JA Goguen","year":"1985","unstructured":"Goguen, J.A., Meseguer, J.: Completeness of many-sorted equational logic. Houston J. Math. 11(3), 307\u2013334 (1985)","journal-title":"Houston J. Math."},{"key":"9_CR4","unstructured":"Lalement, R.: Logique, r\u00e9duction, r\u00e9solution. \u00e9tudes et recherches en informatique. Masson, Paris (1990)"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"Lambek, J.: The mathematics of sentence structure. Am. Math. Monthly 65, 154\u2013170 (1958). Reprinted in Buszkowski, W., Marciszewski, W., Benthem, J. (eds.) Categorial Grammar, Linguistic & Literary. Studies in Eastern Europe, vol. 25. John Benjamins, Amsterdam, pp. 153\u2013172 (1988)","DOI":"10.1075\/llsee.25.12lam"},{"key":"9_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1007\/978-3-642-54789-8_17","volume-title":"Categories and Types in Logic, Language, and Physics","author":"R Moot","year":"2014","unstructured":"Moot, R.: Extended Lambek calculi and first-order linear logic. In: Casadio, C., Coecke, B., Moortgat, M., Scott, P. (eds.) Categories and Types in Logic, Language, and Physics. LNCS, vol. 8222, pp. 297\u2013330. Springer, Heidelberg (2014)"},{"key":"9_CR7","unstructured":"Morrill, G., Valent\u00edn, O.: Spurious ambiguity and focalisation. Manuscript submitted"},{"key":"9_CR8","unstructured":"Morrill, G., Fadda, M., Valent\u00edn, O.: Nondeterministic discontinuous Lambek calculus. In: Geertzen, J., Thijsse, E., Bunt, H., Schiffrin, A. (eds.) Proceedings of the Seventh International Workshop on Computational Semantics, IWCS 2007, pp. 129\u2013141. Tilburg University (2007)"},{"key":"9_CR9","unstructured":"Morrill, G., Valent\u00edn, O.: Displacement calculus. Linguist. Anal. 36(1\u20134), 167\u2013192 (2010). Special issue Festschrift for Joachim Lambek. \nhttp:\/\/arxiv.org\/abs\/1004.4181"},{"key":"9_CR10","unstructured":"Morrill, G., Valent\u00edn, O.: On calculus of displacement. In: Bangalore, S., Frank, R., Romero, M. (eds.) TAG+10: Proceedings of the 10th International Workshop on Tree Adjoining Grammars and Related Formalisms, pp. 45\u201352. Linguistics Department, Yale University, New Haven (2010)"},{"key":"9_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"272","DOI":"10.1007\/978-3-642-00665-4_22","volume-title":"Logic, Language, and Computation","author":"G Morrill","year":"2009","unstructured":"Morrill, G., Valent\u00edn, O., Fadda, M.: Dutch grammar and processing: a case study in TLG. In: Bosch, P., Gabelaia, D., Lang, J. (eds.) TbiLLC 2007. LNCS, vol. 5422, pp. 272\u2013286. Springer, Heidelberg (2009)"},{"issue":"1","key":"9_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. Inform. 20(1), 1\u201348 (2011). doi:\n10.1007\/s10849-010-9129-2","journal-title":"J. Logic Lang. Inform."},{"key":"9_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1007\/978-3-642-35722-0_23","volume-title":"Logical Foundations of Computer Science","author":"A Sorokin","year":"2013","unstructured":"Sorokin, A.: Normal forms for multiple context-free languages and displacement Lambek grammars. In: Artemov, S., Nerode, A. (eds.) LFCS 2013. LNCS, vol. 7734, pp. 319\u2013334. Springer, Heidelberg (2013)"},{"key":"9_CR14","unstructured":"Valent\u00edn, O.: Theory of Discontinuous Lambek Calculus. Ph.D. thesis, Universitat Aut\u00f2noma de Barcelona, Barcelona (2012)"}],"container-title":["Lecture Notes in Computer Science","Formal Grammar"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-53042-9_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,2,6]],"date-time":"2018-02-06T07:07:57Z","timestamp":1517900877000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-53042-9_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783662530412","9783662530429"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-53042-9_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}