{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,5]],"date-time":"2026-01-05T21:48:42Z","timestamp":1767649722951,"version":"3.37.3"},"reference-count":56,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2019,4,19]],"date-time":"2019-04-19T00:00:00Z","timestamp":1555632000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J of Log Lang and Inf"],"published-print":{"date-parts":[[2019,6]]},"DOI":"10.1007\/s10849-019-09290-7","type":"journal-article","created":{"date-parts":[[2019,4,19]],"date-time":"2019-04-19T20:24:50Z","timestamp":1555705490000},"page":"287-307","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Natural Language Semantics and Computability"],"prefix":"10.1007","volume":"28","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6450-1600","authenticated-orcid":false,"given":"Richard","family":"Moot","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Retor\u00e9","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,4,19]]},"reference":[{"key":"9290_CR1","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511793936","volume-title":"Lexical meaning in context: A web of words","author":"N Asher","year":"2011","unstructured":"Asher, N. (2011). Lexical meaning in context: A web of words. Cambridge: Cambridge University Press."},{"key":"9290_CR2","doi-asserted-by":"crossref","unstructured":"Baillot, P., & Mogbil, V. (2004). Soft lambda-calculus: A language for polynomial time computation. In Foundations of software science and computation structures (pp. 27\u201341). Springer.","DOI":"10.1007\/978-3-540-24727-2_4"},{"key":"9290_CR3","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1002\/9781118882139.ch2","volume-title":"Handbook of contemporary semantic theory","author":"C Barker","year":"2015","unstructured":"Barker, C. (2015). Scope. In S. Lapping & C. Fox (Eds.), Handbook of contemporary semantic theory (2nd ed., pp. 40\u201376). Hoboken: Wiley Blackwell.","edition":"2"},{"issue":"2","key":"9290_CR4","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/s10849-009-9113-x","volume":"19","author":"C Bassac","year":"2010","unstructured":"Bassac, C., Mery, B., & Retor\u00e9, C. (2010). Towards a type-theoretical account of lexical semantics. Journal of Logic, Language and Information, 19(2), 229\u2013245. \n                    https:\/\/doi.org\/10.1007\/s10849-009-9113-x\n                    \n                  .","journal-title":"Journal of Logic, Language and Information"},{"key":"9290_CR5","volume-title":"Representation and inference for natural language: A first course in computational semantics","author":"P Blackburn","year":"2005","unstructured":"Blackburn, P., & Bos, J. (2005). Representation and inference for natural language: A first course in computational semantics. Stanford: CSLI."},{"key":"9290_CR6","doi-asserted-by":"crossref","unstructured":"Bos, J., Clark, S., Steedman, M., Curran, J. R., & Hockenmaier, J. (2004). Wide-coverage semantic representation from a CCG parser. In Proceedings of COLING-2004 (pp. 1240\u20131246).","DOI":"10.3115\/1220355.1220535"},{"key":"9290_CR7","doi-asserted-by":"crossref","first-page":"683","DOI":"10.1016\/B978-044481714-3\/50016-3","volume-title":"Handbook of logic and language, chap.\u00a012","author":"W Buszkowski","year":"1997","unstructured":"Buszkowski, W. (1997). Mathematical linguistics and proof theory. In J. van Benthem & A. ter Meulen (Eds.), Handbook of logic and language, chap.\u00a012 (pp. 683\u2013736). Amsterdam: Elsevier."},{"key":"9290_CR8","unstructured":"Carpenter, B. (1994). Quantification and scoping: A deductive account. In The proceedings of the 13th west coast conference on formal linguistics."},{"issue":"4","key":"9290_CR9","doi-asserted-by":"crossref","first-page":"441","DOI":"10.1007\/s10849-014-9208-x","volume":"23","author":"S Chatzikyriakidis","year":"2014","unstructured":"Chatzikyriakidis, S., & Luo, Z. (2014). Natural language inference in Coq. Journal of Logic, Language and Information, 23(4), 441\u2013480.","journal-title":"Journal of Logic, Language and Information"},{"issue":"2","key":"9290_CR10","doi-asserted-by":"crossref","first-page":"56","DOI":"10.2307\/2266170","volume":"5","author":"A Church","year":"1940","unstructured":"Church, A. (1940). A formulation of the simple theory of types. Journal of Symbolic Logic, 5(2), 56\u201368.","journal-title":"Journal of Symbolic Logic"},{"key":"9290_CR11","unstructured":"Cooper, R. (1975). Montague\u2019s semantic theory and transformational grammar. Ph.D. thesis, University of Massachusetts."},{"key":"9290_CR12","volume-title":"Cours de s\u00e9mantique: Introduction","author":"F Corblin","year":"2013","unstructured":"Corblin, F. (2013). Cours de s\u00e9mantique: Introduction. Paris: Armand Colin."},{"issue":"4","key":"9290_CR13","doi-asserted-by":"crossref","first-page":"421","DOI":"10.1007\/s10849-004-2114-x","volume":"13","author":"PD de Groote","year":"2004","unstructured":"de Groote, P. D., & Pogodalla, S. (2004). On the expressive power of abstract categorial grammars: Representing context-free formalisms. Journal of Logic, Language, and Information, 13(4), 421\u2013438.","journal-title":"Journal of Logic, Language, and Information"},{"key":"9290_CR14","unstructured":"Ebert, C. (2005). Formal investigations of underspecified representations. Ph.D. thesis, King\u2019s College, University of London."},{"issue":"1\u20134","key":"9290_CR15","first-page":"385","volume":"36","author":"C Fox","year":"2010","unstructured":"Fox, C., & Lappin, S. (2010). Expressiveness and complexity in underspecified semantics. Linguistic Analysis, 36(1\u20134), 385\u2013417.","journal-title":"Linguistic Analysis"},{"key":"9290_CR16","unstructured":"G\u00f3mez-Rodr\u00edguez, C., Alonso, M. A., & Vilares, M. (2006). On the theoretical and practical complexity of TAG parsers. In Proceedings of formal grammar (FG 2006) (pp. 87\u2013101)."},{"issue":"1\u20132","key":"9290_CR17","first-page":"47","volume":"13","author":"JR Hobbs","year":"1987","unstructured":"Hobbs, J. R., & Shieber, S. M. (1987). An algorithm for generating quantifier scopings. Computational Linguistics, 13(1\u20132), 47\u201363.","journal-title":"Computational Linguistics"},{"issue":"5\u20136","key":"9290_CR18","doi-asserted-by":"crossref","first-page":"601","DOI":"10.1023\/A:1020851413268","volume":"25","author":"P Jacobson","year":"2002","unstructured":"Jacobson, P. (2002). The (dis)organization of the grammar: 25 years. Linguistics and Philosophy, 25(5\u20136), 601\u2013626.","journal-title":"Linguistics and Philosophy"},{"key":"9290_CR19","unstructured":"Joshi, A. (1985). Tree adjoining grammars: How much context-sensitivity is required to provide reasonable structural descriptions? In D. R. Dowty, L. Karttunen & A. Zwicky (Eds.), Natural language parsing (pp. 206\u2013250). Cambridge: Cambridge University Press."},{"key":"9290_CR20","unstructured":"Joshi, A. (1997). Parsing techniques. In R.\u00a0A. Cole, J.\u00a0Mariani, H.\u00a0Uszkoreit, A.\u00a0Zaenen, & V.\u00a0Zue (Eds.), Survey of the state of the art in human language technology, chap. 11.4 (pp. 351\u2013356). Cambridge University Press and Giardini."},{"key":"9290_CR21","unstructured":"Koller, A., & Thater, S. (2010). Computing weakest readings. In Proceedings of the 48th annual meeting of the association for computational linguistics (pp. 30\u201339)."},{"key":"9290_CR22","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1007\/978-3-642-31262-5_9","volume-title":"Logical aspects of computational linguistics. Lecture notes in computer science","author":"Y Kubota","year":"2012","unstructured":"Kubota, Y., & Levine, R. (2012). Gapping as like-category coordination. In D. B\u00e9chet & A. Dikovsky (Eds.), Logical aspects of computational linguistics. Lecture notes in computer science (Vol. 7351, pp. 135\u2013150). Nantes: Springer."},{"issue":"1","key":"9290_CR23","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1016\/j.tcs.2003.10.018","volume":"318","author":"Y Lafont","year":"2004","unstructured":"Lafont, Y. (2004). Soft linear logic and polynomial time. Theoretical Computer Science, 318(1), 163\u2013180.","journal-title":"Theoretical Computer Science"},{"key":"9290_CR24","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780195331967.001.0001","volume-title":"Cognitive grammar: A basic introduction","author":"R Langacker","year":"2008","unstructured":"Langacker, R. (2008). Cognitive grammar: A basic introduction. Oxford: Oxford University Press."},{"issue":"6","key":"9290_CR25","doi-asserted-by":"crossref","first-page":"491","DOI":"10.1007\/s10988-013-9126-4","volume":"35","author":"Z Luo","year":"2012","unstructured":"Luo, Z. (2012). Formal semantics in modern type theories with coercive subtyping. Linguistics and Philosophy, 35(6), 491\u2013513.","journal-title":"Linguistics and Philosophy"},{"key":"9290_CR26","doi-asserted-by":"crossref","unstructured":"Mineshima, K., Mart\u0131nez-G\u00f3mez, P., Miyao, Y., & Bekki, D. (2015). Higher-order logical inference with compositional semantics. In Proceedings of EMNLP (pp. 2055\u20132061).","DOI":"10.18653\/v1\/D15-1244"},{"key":"9290_CR27","unstructured":"Montague, R. (1970). English as a formal language. In B.\u00a0Visentini (Ed.), Linguaggi nella societa e nella tecnica (pp. 188\u2013221). Edizioni di Communita."},{"key":"9290_CR28","volume-title":"Formal philosophy: Selected papers of Richard Montague","author":"R Montague","year":"1974","unstructured":"Montague, R. (1974). The proper treatment of quantification in ordinary English. In R. Thomason (Ed.), Formal philosophy: Selected papers of Richard Montague. New Haven: Yale University Press."},{"key":"9290_CR29","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1016\/B978-044481714-3\/50005-9","volume-title":"Handbook of logic and language, chap.\u00a02","author":"M Moortgat","year":"1997","unstructured":"Moortgat, M. (1997). Categorial type logics. In J. van Benthem & A. ter Meulen (Eds.), Handbook of logic and language, chap.\u00a02 (pp. 93\u2013177). Amsterdam: Elsevier."},{"key":"9290_CR30","unstructured":"Moot, R. (2002). Proof nets for linguistic analysis. Ph.D. thesis, Utrecht Institute of Linguistics OTS, Utrecht University."},{"key":"9290_CR31","unstructured":"Moot, R. (2007). Filtering axiom links for proof nets. In L.\u00a0Kallmeyer, P.\u00a0Monachesi, G.\u00a0Penn, & G.\u00a0Satta (Eds.), Proccedings of formal grammar 2007."},{"key":"9290_CR32","unstructured":"Moot, R. (2010). Wide-coverage French syntax and semantics using Grail. In Proceedings of traitement automatique des langues naturelles (TALN), Montreal. System Demo"},{"key":"9290_CR33","unstructured":"Moot, R. (2015a). Linear one: A theorem prover for first-order linear logic. \n                    https:\/\/github.com\/RichardMoot\/LinearOne\n                    \n                  . Accessed 16 Apr 2019."},{"issue":"1","key":"9290_CR34","doi-asserted-by":"crossref","first-page":"229","DOI":"10.15398\/jlm.v3i1.92","volume":"3","author":"R Moot","year":"2015","unstructured":"Moot, R. (2015b). A type-logical treebank for french. Journal of Language Modelling, 3(1), 229\u2013264.","journal-title":"Journal of Language Modelling"},{"issue":"2","key":"9290_CR35","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 multiplicative linear logic. Journal of Logic, Language and Information, 10(2), 211\u2013232.","journal-title":"Journal of Logic, Language and Information"},{"key":"9290_CR36","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-31555-8","volume-title":"The logic of categorial grammars: A deductive account of natural language syntax and semantics","author":"R Moot","year":"2012","unstructured":"Moot, R., & Retor\u00e9, C. (2012). The logic of categorial grammars: A deductive account of natural language syntax and semantics. Berlin: Springer."},{"key":"9290_CR37","doi-asserted-by":"publisher","unstructured":"Morrill, G. (2019). Parsing\/theorem-proving for logical grammar CatLog3. Journal of Logic, Language and Information. \n                    https:\/\/doi.org\/10.1007\/s10849-018-09277-w\n                    \n                  .","DOI":"10.1007\/s10849-018-09277-w"},{"key":"9290_CR38","unstructured":"Morrill, G., & Valent\u00edn, O. (2015). Computational coverage of TLG: The Montague test. In Proceedings CSSP 2015 Le onzi\u00e8me Colloque de Syntaxe et S\u00e9mantique \u00e0 Paris (pp. 63\u201368)."},{"issue":"1","key":"9290_CR39","doi-asserted-by":"crossref","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. (2011). The displacement calculus. Journal of Logic, Language and Information, 20(1), 1\u201348.","journal-title":"Journal of Logic, Language and Information"},{"key":"9290_CR40","unstructured":"Park, J. C. (1996). Quantifier scope, lexical semantics, and surface structure constituency. Technical report, University of Pennsylvania."},{"key":"9290_CR41","volume-title":"International encyclopedia of the social and behavioral sciences","author":"B Partee","year":"2001","unstructured":"Partee, B. (2001). Montague grammar. In N. J. Smelser & P. B. Baltes (Eds.), International encyclopedia of the social and behavioral sciences. Oxford: Pergamon."},{"key":"9290_CR42","unstructured":"Pentus, M. (1995). Lambek grammars are context free. In Proceedings of logic in computer science (pp. 429\u2013433)."},{"issue":"1\u20134","key":"9290_CR43","first-page":"441","volume":"36","author":"M Pentus","year":"2010","unstructured":"Pentus, M. (2010). A polynomial-time algorithm for Lambek grammars of bounded order. Linguistic Analysis, 36(1\u20134), 441\u2013471.","journal-title":"Linguistic Analysis"},{"key":"9290_CR44","unstructured":"Pinker, S. (1994). The language instinct. Penguin Science."},{"key":"9290_CR45","unstructured":"Retor\u00e9, C. (2014). The Montagovian generative lexicon \n                    \n                      \n                    \n                    $$\\Lambda Ty_n$$\n                    \n                      \n                        \n                          \u039b\n                          T\n                          \n                            y\n                            n\n                          \n                        \n                      \n                    \n                  : A type theoretical framework for natural language semantics. In Proceedings of TYPES (pp. 202\u2013229). 10.4230\/LIPIcs.TYPES.2013.202."},{"key":"9290_CR46","unstructured":"Sarkar, A. (2000). Practical experiments in parsing using tree adjoining grammars. In Proceeding of TAG+5."},{"key":"9290_CR47","unstructured":"Savateev, Y. (2009). Product-free Lambek calculus is NP-complete. In Symposium on logical foundations of computer science (LFCS) (pp. 380\u2013394)."},{"key":"9290_CR48","doi-asserted-by":"crossref","unstructured":"Schwichtenberg, H. (1982). Complexity of normalization in the pure typed lambda-calculus. In The L. E. J. Brouwer centenary symposium (pp. 453\u2013457). North-Holland.","DOI":"10.1016\/S0049-237X(09)70143-0"},{"key":"9290_CR49","volume-title":"Foundations without foundationalism: A case for second-order logic","author":"S Shapiro","year":"1991","unstructured":"Shapiro, S. (1991). Foundations without foundationalism: A case for second-order logic. Oxford: Clarendon Press."},{"key":"9290_CR50","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1007\/BF00630917","volume":"8","author":"S Shieber","year":"1985","unstructured":"Shieber, S. (1985). Evidence against the context-freeness of natural language. Linguistics & Philosophy, 8, 333\u2013343.","journal-title":"Linguistics & Philosophy"},{"key":"9290_CR51","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139871495","volume-title":"Catalan numbers","author":"RP Stanley","year":"2015","unstructured":"Stanley, R. P. (2015). Catalan numbers. Cambridge: Cambridge University Press."},{"volume-title":"Formal philosophy: Selected papers of Richard Montague","year":"1974","key":"9290_CR52","unstructured":"Thomason, R. (Ed.). (1974). Formal philosophy: Selected papers of Richard Montague. New Haven: Yale University Press."},{"key":"9290_CR53","doi-asserted-by":"crossref","first-page":"433","DOI":"10.1093\/mind\/LIX.236.433","volume":"49","author":"A Turing","year":"1950","unstructured":"Turing, A. (1950). Computing machinery and intelligence. Mind, 49, 433\u2013460.","journal-title":"Mind"},{"key":"9290_CR54","unstructured":"van Benthem, J. (1986). Categorial grammar. In Essays in logical semantics, chap.\u00a07 (pp. 123\u2013150). Dordrecht: Reidel."},{"key":"9290_CR55","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-4558-5","volume-title":"Logic and structure","author":"D Dalen van","year":"2013","unstructured":"van Dalen, D. (2013). Logic and structure (5th ed.). Berlin: Springer.","edition":"5"},{"key":"9290_CR56","unstructured":"Wijnholds, G. (2011). Investigations into categorial grammar: Symmetric pregroup grammar and displacement calculus. Master\u2019s thesis, Utrecht University."}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-019-09290-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10849-019-09290-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-019-09290-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,17]],"date-time":"2020-04-17T23:05:10Z","timestamp":1587164710000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10849-019-09290-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,4,19]]},"references-count":56,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2019,6]]}},"alternative-id":["9290"],"URL":"https:\/\/doi.org\/10.1007\/s10849-019-09290-7","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"type":"print","value":"0925-8531"},{"type":"electronic","value":"1572-9583"}],"subject":[],"published":{"date-parts":[[2019,4,19]]},"assertion":[{"value":"19 April 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}