{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T07:50:28Z","timestamp":1742975428235,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":38,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642256547"},{"type":"electronic","value":"9783642256554"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-25655-4_3","type":"book-chapter","created":{"date-parts":[[2011,11,18]],"date-time":"2011-11-18T06:58:30Z","timestamp":1321599510000},"page":"16-29","source":"Crossref","is-referenced-by-count":1,"title":["Combinatory Categorial Grammar as a Substructural Logic"],"prefix":"10.1007","author":[{"given":"Daisuke","family":"Bekki","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"4","key":"3_CR1","doi-asserted-by":"publisher","first-page":"485","DOI":"10.1002\/malq.19950410405","volume":"41","author":"E. Aarts","year":"1995","unstructured":"Aarts, E., Trautwein, K.: Non-associative lambek categorial grammar in polynomial time. Mathematical Logic Quarterly\u00a041(4), 485\u2013504 (1995)","journal-title":"Mathematical Logic Quarterly"},{"key":"3_CR2","doi-asserted-by":"publisher","first-page":"517","DOI":"10.1007\/BF00360804","volume":"4","author":"A.E. Ades","year":"1982","unstructured":"Ades, A.E., Steedman, M.J.: On the order of words. Linguistics and Philosophy\u00a04, 517\u2013558 (1982)","journal-title":"Linguistics and Philosophy"},{"key":"3_CR3","first-page":"1","volume":"1","author":"K. Ajdukiewicz","year":"1935","unstructured":"Ajdukiewicz, K.: Die syntaktische konnexitat. Studia Philosophica\u00a01, 1\u201327 (1935); transl. In: McCall, S. (ed.): Polish Logic in 1929-1939. Clarendon, Oxford (1967)","journal-title":"Studia Philosophica"},{"key":"3_CR4","doi-asserted-by":"publisher","first-page":"47","DOI":"10.2307\/410452","volume":"29","author":"Y.. Bar-Hillel","year":"1953","unstructured":"Bar-Hillel, Y.: A quasi-arithmetical notation for syntactic description. Language\u00a029, 47\u201358 (1953)","journal-title":"Language"},{"key":"3_CR5","volume-title":"Formal Theory of Japanese Grammar: the conjugation system, categorial syntax, and dynamic semantics","author":"D. Bekki","year":"2010","unstructured":"Bekki, D.: Formal Theory of Japanese Grammar: the conjugation system, categorial syntax, and dynamic semantics. Kuroshio Publisher, Tokyo (2010) (in Japanese)"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Bos, J., Clark, S., Steedman, M.J., Curran, J.R., Hockenmaier, J.: Wide-coverage semantic representations from a ccg parser. In: COLING 2004, Geneva (2004)","DOI":"10.3115\/1220355.1220535"},{"key":"3_CR7","doi-asserted-by":"publisher","first-page":"180","DOI":"10.1007\/978-94-009-3673-7_11","volume-title":"Initiatives in Logic","author":"W. Buszkowski","year":"1987","unstructured":"Buszkowski, W.: The logic of types. In: Initiatives in Logic, pp. 180\u2013206. Nijhoff, Dordrecht (1987)"},{"key":"3_CR8","doi-asserted-by":"publisher","first-page":"683","DOI":"10.1016\/B978-044481714-3\/50016-3","volume-title":"Handbook of Logic and Language","author":"W. Buszkowski","year":"1997","unstructured":"Buszkowski, W.: Mathematical linguistics and proof theory. In: van Benthem, J., ter Meulen, A.G.B. (eds.) Handbook of Logic and Language, pp. 683\u2013736. Elsevier Science B.V., Amsterdam (1997)"},{"key":"3_CR9","unstructured":"Buszkowski, W.: Categorial grammars and substructural logics (2010)"},{"key":"3_CR10","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. Theoretical Computer Science\u00a050, 1\u2013102 (1987)","journal-title":"Theoretical Computer Science"},{"key":"3_CR11","first-page":"41","volume-title":"Syntax and Semantics 3: Speech Acts","author":"H.P.. Grice","year":"1975","unstructured":"Grice, H.P.: Logic and conversation. In: Cole, P., Morgan, J.L. (eds.) Syntax and Semantics 3: Speech Acts, pp. 41\u201358. Academic Press, London (1975)"},{"key":"3_CR12","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/3-540-48754-9_14","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods","author":"P. de Groote","year":"1999","unstructured":"de Groote, P.: The non-associative lambek calculus with product in polynomial time. In: Automated Reasoning with Analytic Tableaux and Related Methods, pp. 128\u2013139. Springer, Berlin (1999)"},{"key":"3_CR13","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1023\/A:1020520915016","volume":"71","author":"P. de Groote","year":"2002","unstructured":"de Groote, P., Lamarche, F.: Classical non-associative lambek calculus. Studia Logica\u00a071, 355\u2013388 (2002)","journal-title":"Studia Logica"},{"key":"3_CR14","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511809835","volume-title":"Lambda-Calculus and Combinators: an Introduction","author":"J.R. Hindley","year":"2008","unstructured":"Hindley, J.R., Seldin, J.P.: Lambda-Calculus and Combinators: an Introduction. Cambridge University Press, Cambridge (2008)"},{"key":"3_CR15","unstructured":"Hockenmaier, J.: Data and Models for Statistical Parsing with Combinatory Categorial Grammar. Ph. d. thesis, University of Edinburgh (2003)"},{"key":"3_CR16","unstructured":"Hockenmaier, J., Steedman, M.J.: Ccgbank manual. Tech. rep., Department of Computer and Information Science, University of Pennsylvania (2005)"},{"key":"3_CR17","doi-asserted-by":"publisher","first-page":"423","DOI":"10.1007\/BF00630750","volume":"13","author":"P. Jacobson","year":"1990","unstructured":"Jacobson, P.: Raising as function composition. Linguistics and Philosophy\u00a013, 423\u2013476 (1990)","journal-title":"Linguistics and Philosophy"},{"issue":"6","key":"3_CR18","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1093\/jigpal\/9.6.781","volume":"9","author":"G. J\u00e4ger","year":"2001","unstructured":"J\u00e4ger, G.: Lambek grammars as combinatory categorial grammars. Logic Journal of the IGPL\u00a09(6), 79\u2013781 (2001)","journal-title":"Logic Journal of the IGPL"},{"key":"3_CR19","volume-title":"Trends in Logic","author":"G. J\u00e4ger","year":"2005","unstructured":"J\u00e4ger, G.: Anaphora and Type Logical Grammar. In: Trends in Logic. Springer, Heidelberg (2005)"},{"key":"3_CR20","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. American Mathematical Monthly\u00a065, 154\u2013169 (1958)","journal-title":"American Mathematical Monthly"},{"key":"3_CR21","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/978-94-010-2506-5_10","volume-title":"Approaches to Natural Language","author":"R. Montague","year":"1973","unstructured":"Montague, R.: The proper treatment of quantification in ordinary english. In: Hintikka, J., Moravcsic, J., Suppes, P. (eds.) Approaches to Natural Language, pp. 221\u2013242. Reidel, Dordrecht (1973)"},{"key":"3_CR22","doi-asserted-by":"publisher","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.: Categorial type logics. In: van Benthem, J., ter Meulen, A.G.B. (eds.) Handbook of Logic and Language, pp. 93\u2013177. Elsevier Science, Amsterdam (1997)"},{"key":"3_CR23","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-1042-6","volume-title":"Type Logical Grammar","author":"G.V. Morrill","year":"1994","unstructured":"Morrill, G.V.: Type Logical Grammar. Kluwer Academic Publishers, Dordrecht (1994)"},{"key":"3_CR24","volume-title":"Categorial Grammar: Logical Syntax, Semantics, and Processing","author":"G.V. Morrill","year":"2010","unstructured":"Morrill, G.V.: Categorial Grammar: Logical Syntax, Semantics, and Processing. Oxford University Press, Oxford (2010)"},{"key":"3_CR25","unstructured":"Ogata, N.: Towards computational non-associative lambek lambda-calculi for formal pragmatics. In: The Fifth International Workshop on Logic and Engineering of Natural Language Semantics (LENLS 2008) in Conjunction with the 22nd Annual Conference of the Japanese Society for Artificial Intelligence 2008, Asahikawa, Japan, pp. 79\u2013102 (2008)"},{"key":"3_CR26","first-page":"95","volume-title":"The Summer School and the Conference \u2018Heyting\u201988\u2019","author":"H. Ono","year":"1990","unstructured":"Ono, H.: Structural rules and a logical hierarchy. In: Petokov, P. (ed.) The Summer School and the Conference \u2018Heyting\u201988\u2019, pp. 95\u2013104. Plenum Press, New York (1990)"},{"key":"3_CR27","doi-asserted-by":"crossref","first-page":"361","DOI":"10.1515\/9783110852820.361","volume-title":"Meaning, Use and Interpretation of Language","author":"B.. Partee","year":"1983","unstructured":"Partee, B., Rooth, M.: Generalized conjunction and type ambiguity. In: Bauerle, R., Schwarze, C., Von Stechow, A. (eds.) Meaning, Use and Interpretation of Language, pp. 361\u2013393. Walter De Gruyter Inc., Berlin (1983)"},{"key":"3_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/3-540-48959-2_21","volume-title":"Typed Lambda Calculi and Applications","author":"J. Polakow","year":"1999","unstructured":"Polakow, J., Pfenning, F.: Natural deduction for intuitionistic non-commutative linear logic. In: Girard, J.-Y. (ed.) TLCA 1999. LNCS, vol.\u00a01581, pp. 295\u2013309. Springer, Heidelberg (1999)"},{"key":"3_CR29","volume-title":"An Introduction to Non-Classical Logic","author":"G. Priest","year":"2001","unstructured":"Priest, G.: An Introduction to Non-Classical Logic. Cambridge University Press, Cambridge (2001)"},{"key":"3_CR30","doi-asserted-by":"publisher","DOI":"10.4324\/9780203252642","volume-title":"An Introduction to Substructural Logics","author":"G. Restall","year":"2000","unstructured":"Restall, G.: An Introduction to Substructural Logics. Routledge, London (2000)"},{"key":"3_CR31","unstructured":"Ross, J.R.: Constraints on Variables in Syntax. Unpublished ph.d. dissertation, MIT (1967)"},{"key":"3_CR32","volume-title":"Surface Structure and Interpretation","author":"M.J. Steedman","year":"1996","unstructured":"Steedman, M.J.: Surface Structure and Interpretation. The MIT Press, Cambridge (1996)"},{"key":"3_CR33","unstructured":"Steedman, M.J.: Does grammar make use of bound variables? In: The Conference on Variable-free Semantics, Osnabr\u00fcck (1997)"},{"key":"3_CR34","volume-title":"The Syntactic Process (Language, Speech, and Communication)","author":"M.J. Steedman","year":"2000","unstructured":"Steedman, M.J.: The Syntactic Process (Language, Speech, and Communication). The MIT Press, Cambridge (2000)"},{"key":"3_CR35","volume-title":"Non-Transformational Syntax","author":"M.J. Steedman","year":"2007","unstructured":"Steedman, M.J., Baldridge, J.: Combinatory categorial grammar. In: Borsley, R., Borjars, K. (eds.) Non-Transformational Syntax. Blackwell, Malden (2007)"},{"key":"3_CR36","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1515\/9783110877335-011","volume-title":"Semantics and Contextual Expression","author":"A. Szabolci","year":"1989","unstructured":"Szabolci, A.: Bound variables in syntax: Are there any? In: Bartsch, R., van Benthem, J., van Emde Boas, P. (eds.) Semantics and Contextual Expression, pp. 295\u2013318. Foris, Dordrecht (1989)"},{"key":"3_CR37","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-56734-8","volume-title":"The Logic of Information Structures","author":"H. Wansing","year":"1993","unstructured":"Wansing, H.: The Logic of Information Structures. Springer, Berlin (1993)"},{"key":"3_CR38","doi-asserted-by":"publisher","first-page":"443","DOI":"10.1023\/A:1020529116833","volume":"71","author":"H. Wansing","year":"2002","unstructured":"Wansing, H.: A rule-extension of the non-associative lambek calculus. Studia Logica\u00a071, 443\u2013451 (2002)","journal-title":"Studia Logica"}],"container-title":["Lecture Notes in Computer Science","New Frontiers in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-25655-4_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,14]],"date-time":"2024-04-14T21:13:21Z","timestamp":1713129201000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-25655-4_3"}},"subtitle":["\u2014 Preliminary Remarks \u2014"],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642256547","9783642256554"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-25655-4_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}