{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,6]],"date-time":"2025-07-06T04:03:40Z","timestamp":1751774620399,"version":"3.41.0"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662577837"},{"type":"electronic","value":"9783662577844"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-662-57784-4_5","type":"book-chapter","created":{"date-parts":[[2018,7,14]],"date-time":"2018-07-14T08:33:06Z","timestamp":1531557186000},"page":"84-101","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Bracket Induction for Lambek Calculus with Bracket Modalities"],"prefix":"10.1007","author":[{"given":"Glyn","family":"Morrill","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stepan","family":"Kuznetsov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Max","family":"Kanovich","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andre","family":"Scedrov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,7,15]]},"reference":[{"issue":"3","key":"5_CR1","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1093\/logcom\/2.3.297","volume":"2","author":"JM Andreoli","year":"1992","unstructured":"Andreoli, J.M.: Logic programming with focusing in linear logic. J. Log. Comput. 2(3), 297\u2013347 (1992)","journal-title":"J. Log. Comput."},{"key":"5_CR2","series-title":"Studies in Logic and the Foundations of Mathematics, No. 130","volume-title":"Language in Action: Categories, Lambdas, and Dynamic Logic","author":"J van Benthem","year":"1991","unstructured":"van Benthem, J.: Language in Action: Categories, Lambdas, and Dynamic Logic. Studies in Logic and the Foundations of Mathematics, No. 130. North-Holland, Amsterdam (1991). Revised student edition printed in 1995 by the MIT Press"},{"key":"5_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"JY Girard","year":"1987","unstructured":"Girard, J.Y.: Linear logic. Theor. Comput. Sci. 50, 1\u2013102 (1987). https:\/\/doi.org\/10.1016\/0304-3975(87)90045-4","journal-title":"Theor. Comput. Sci."},{"key":"5_CR4","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/BF00171695","volume":"1","author":"M Kanazawa","year":"1992","unstructured":"Kanazawa, M.: The Lambek calculus enriched with additional connectives. J. Log. Lang. Inf. 1, 141\u2013171 (1992). https:\/\/doi.org\/10.1007\/BF00171695","journal-title":"J. Log. Lang. Inf."},{"key":"5_CR5","doi-asserted-by":"publisher","unstructured":"Kanovich, M., Kuznetsov, S., Morrill, G., Scedrov, A.: A polynomial-time algorithm for the Lambek calculus with brackets of bounded order. In: Miller, D. (ed.) Proceedings of the 2nd International Conference on Formal Structures for Computation and Deduction (FSCD 2017). Leibniz International Proceedings in Informatics, LIPIcs, vol. 84, pp. 22:1\u201322:17. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik, Dagstuhl Publishing, Germany (2017). https:\/\/doi.org\/10.4230\/LIPIcs.FSCD.2017.22, http:\/\/drops.dagstuhl.de\/opus\/volltexte\/2017\/7738\/","DOI":"10.4230\/LIPIcs.FSCD.2017.22"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"Kanovich, M., Kuznetsov, S., Nigam, V., Scedrov, A.: A logical framework with commutative and non-commutative subexponentials. In: Automated Reasoning: Proceedings of IJCAR 2018. Springer (2018, to appear)","DOI":"10.1007\/978-3-319-94205-6_16"},{"key":"5_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"326","DOI":"10.1007\/978-3-662-55751-8_26","volume-title":"Fundamentals of Computation Theory","author":"M Kanovich","year":"2017","unstructured":"Kanovich, M., Kuznetsov, S., Scedrov, A.: Undecidability of the Lambek calculus with subexponential and bracket modalities. In: Klasing, R., Zeitoun, M. (eds.) FCT 2017. LNCS, vol. 10472, pp. 326\u2013340. Springer, Heidelberg (2017). https:\/\/doi.org\/10.1007\/978-3-662-55751-8_26"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"Kuznetsov, S., Morrill, G., Valent\u00edn, O.: Count-invariance including exponentials. In: Kanazawa, M., de Groote, P., Sadrzadeh, M. (eds.) Proceedings of the 15th Meeting on the Mathematics of Language, pp. 128\u2013139. Association for Computational Linguistics, London (2017). https:\/\/aclweb.org\/anthology\/W\/W17\/W17-3413.pdf","DOI":"10.18653\/v1\/W17-3413"},{"key":"5_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":"5_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"405","DOI":"10.1007\/978-3-540-74915-8_31","volume-title":"Computer Science Logic","author":"D Miller","year":"2007","unstructured":"Miller, D., Saurin, A.: From proofs to focused proofs: a modular proof of focalization in linear logic. In: Duparc, J., Henzinger, T.A. (eds.) CSL 2007. LNCS, vol. 4646, pp. 405\u2013419. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-74915-8_31"},{"issue":"3, 4","key":"5_CR11","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1007\/BF00159344","volume":"5","author":"M Moortgat","year":"1996","unstructured":"Moortgat, M.: Multimodal linguistic inference. J. Log. Lang. Inf. 5(3, 4), 349\u2013385 (1996). https:\/\/doi.org\/10.1007\/BF00159344","journal-title":"J. Log. Lang. Inf."},{"key":"5_CR12","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. (eds.) Handbook of Logic and Language, pp. 93\u2013177. Elsevier Science B.V. and MIT Press, Amsterdam and Cambridge (1997)"},{"key":"5_CR13","unstructured":"Morrill, G.: Categorial formalisation of relativisation: pied piping, islands, and extraction sites. Technical report. LSI-92-23-R, Departament de Llenguatges i Sistemes Inform\u00e0tics, Universitat Polit\u00e8cnica de Catalunya (1992)"},{"issue":"2","key":"5_CR14","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/s10988-016-9197-0","volume":"40","author":"G Morrill","year":"2017","unstructured":"Morrill, G.: Grammar logicised: relativisation. Linguist. Philos. 40(2), 119\u2013163 (2017). https:\/\/doi.org\/10.1007\/s10988-016-9197-0","journal-title":"Linguist. Philos."},{"key":"5_CR15","unstructured":"Morrill, G.: Parsing logical grammar: CatLog3. In: Loukanova, R., Liefke, K. (eds.) Proceedings of the Workshop on Logic and Algorithms in Computational Linguistics 2017, LACompLing 2017, pp. 107\u2013131. DiVA, Stockholm University (2017). http:\/\/su.diva-portal.org\/smash\/get\/diva2:1140018\/FULLTEXT03.pdf"},{"issue":"1\u20134","key":"5_CR16","first-page":"167","volume":"36","author":"G Morrill","year":"2010","unstructured":"Morrill, G., Valent\u00edn, O.: Displacement calculus. Linguist. Anal. 36(1\u20134), 167\u2013192 (2010). arXiv:1004.4181, special issue Festschrift for J. Lambek","journal-title":"Linguist. Anal."},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"Morrill, G., Valent\u00edn, O.: Computational coverage of TLG: nonlinearity. In: Kanazawa, M., Moss, L., de Paiva, V. (eds.) Proceedings of Third Workshop on Natural Language and Computer Science, NLCS 2015, vol. 32, pp. 51\u201363. EPiC, Kyoto (2015). Workshop Affiliated with Automata, Languages and Programming (ICALP) and Logic in Computer Science (LICS)","DOI":"10.29007\/96j5"},{"key":"5_CR18","doi-asserted-by":"crossref","unstructured":"Morrill, G., Valent\u00edn, O.: Multiplicative-additive focusing for parsing as deduction. In: Cervesato, I., Sch\u00fcrmann, C. (eds.) First International Workshop on Focusing, Workshop Affiliated with LPAR 2015, pp. 29\u201354. EPTCS, No. 197, Suva, Fiji (2015)","DOI":"10.4204\/EPTCS.197.4"},{"issue":"1","key":"5_CR19","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. Log. Lang. Inf. 20(1), 1\u201348 (2011). https:\/\/doi.org\/10.1007\/s10849-010-9129-2","journal-title":"J. Log. Lang. Inf."},{"key":"5_CR20","volume-title":"Categorial Grammar: Logical Syntax, Semantics, and Processing","author":"GV Morrill","year":"2011","unstructured":"Morrill, G.V.: Categorial Grammar: Logical Syntax, Semantics, and Processing. Oxford University Press, New York and Oxford (2011)"},{"issue":"1\u20134","key":"5_CR21","first-page":"44","volume":"36","author":"M Pentus","year":"2010","unstructured":"Pentus, M.: A polynomial-time algorithm for Lambek grammars of bounded order. Linguist. Anal. 36(1\u20134), 44\u2013471 (2010)","journal-title":"Linguist. Anal."},{"issue":"1","key":"5_CR22","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1016\/j.tcs.2006.03.018","volume":"357","author":"M Pentus","year":"2006","unstructured":"Pentus, M.: Lambek calculus is NP-complete. Theor. Comput. Sci. 357(1), 186\u2013201 (2006). https:\/\/doi.org\/10.1016\/j.tcs.2006.03.018","journal-title":"Theor. Comput. Sci."},{"key":"5_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1007\/978-3-642-39998-5_17","volume-title":"Formal Grammar","author":"O Valent\u00edn","year":"2013","unstructured":"Valent\u00edn, O., Serret, D., Morrill, G.: A count invariant for Lambek calculus with additives and bracket modalities. In: Morrill, G., Nederhof, M.-J. (eds.) FG 2012-2013. LNCS, vol. 8036, pp. 263\u2013276. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-39998-5_17"}],"container-title":["Lecture Notes in Computer Science","Formal Grammar 2018"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-57784-4_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,5]],"date-time":"2025-07-05T20:05:43Z","timestamp":1751745943000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-662-57784-4_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783662577837","9783662577844"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-57784-4_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"15 July 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FG","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Formal Grammar","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Sofia","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Bulgaria","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 August 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 August 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fg2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/fg.phil.hhu.de\/2018\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}