{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T14:14:58Z","timestamp":1725891298064},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642312618"},{"type":"electronic","value":"9783642312625"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-31262-5_1","type":"book-chapter","created":{"date-parts":[[2012,6,11]],"date-time":"2012-06-11T00:54:04Z","timestamp":1339376044000},"page":"1-20","source":"Crossref","is-referenced-by-count":3,"title":["Logical Grammars, Logical Theories"],"prefix":"10.1007","author":[{"given":"Alexander","family":"Clark","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"Morrill, G.: Categorial grammar: Logical syntax, semantics and processing. Oxford University Press (2011)","DOI":"10.1093\/oxfordhb\/9780199544004.013.0004"},{"issue":"1-2","key":"1_CR2","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1016\/0168-0072(94)00063-9","volume":"75","author":"M. Pentus","year":"1995","unstructured":"Pentus, M.: Models for the Lambek calculus. Annals of Pure and Applied Logic\u00a075(1-2), 179\u2013213 (1995)","journal-title":"Annals of Pure and Applied Logic"},{"issue":"3","key":"1_CR3","doi-asserted-by":"publisher","first-page":"154","DOI":"10.2307\/2310058","volume":"65","author":"J. Lambek","year":"1958","unstructured":"Lambek, J.: The mathematics of sentence structure. American Mathematical Monthly\u00a065(3), 154\u2013170 (1958)","journal-title":"American Mathematical Monthly"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"Lambek, J.: Categorial and categorical grammars. In: Oehrle, R.T., Bach, E., Wheeler, D. (eds.) Categorial Grammars and Natural Language Structures, vol.\u00a032, pp. 297\u2013317. D. Reidel (1988)","DOI":"10.1007\/978-94-015-6878-4_11"},{"issue":"14-18","key":"1_CR5","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1002\/malq.19820281407","volume":"28","author":"W. Buszkowski","year":"1982","unstructured":"Buszkowski, W.: Compatibility of a categorial grammar with an associated category system. Mathematical Logic Quarterly\u00a028(14-18), 229\u2013238 (1982)","journal-title":"Mathematical Logic Quarterly"},{"issue":"4","key":"1_CR6","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1007\/BF00370157","volume":"49","author":"W. Buszkowski","year":"1990","unstructured":"Buszkowski, W., Penn, G.: Categorial grammars determined from linguistic data by unification. Studia Logica\u00a049(4), 431\u2013454 (1990)","journal-title":"Studia Logica"},{"key":"1_CR7","unstructured":"Kanazawa, M.: Learnable classes of categorial grammars. PhD thesis, Stanford University (1994)"},{"issue":"3","key":"1_CR8","doi-asserted-by":"publisher","first-page":"741","DOI":"10.1145\/322326.322334","volume":"29","author":"D. Angluin","year":"1982","unstructured":"Angluin, D.: Inference of reversible languages. Journal of the ACM\u00a029(3), 741\u2013765 (1982)","journal-title":"Journal of the ACM"},{"issue":"2","key":"1_CR9","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0890-5401(87)90052-6","volume":"75","author":"D. Angluin","year":"1987","unstructured":"Angluin, D.: Learning regular sets from queries and counterexamples. Information and Computation\u00a075(2), 87\u2013106 (1987)","journal-title":"Information and Computation"},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"de la Higuera, C.: Grammatical inference: learning automata and grammars. Cambridge University Press (2010)","DOI":"10.1017\/CBO9781139194655"},{"key":"1_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1007\/978-3-642-15488-1_4","volume-title":"Grammatical Inference: Theoretical Results and Applications","author":"A. Clark","year":"2010","unstructured":"Clark, A.: Distributional Learning of Some Context-Free Languages with a Minimally Adequate Teacher. In: Sempere, J.M., Garc\u00eda, P. (eds.) ICGI 2010. LNCS, vol.\u00a06339, pp. 24\u201337. Springer, Heidelberg (2010)"},{"key":"1_CR12","first-page":"380","volume":"34","author":"H. Shirakawa","year":"1993","unstructured":"Shirakawa, H., Yokomori, T.: Polynomial-time MAT Learning of C-Deterministic Context-free Grammars. Transactions of the Information Processing Society of Japan\u00a034, 380\u2013390 (1993)","journal-title":"Transactions of the Information Processing Society of Japan"},{"key":"1_CR13","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/978-3-642-20169-1_12","volume-title":"Formal Grammar","author":"A. Clark","year":"2011","unstructured":"Clark, A.: A Learnable Representation for Syntax Using Residuated Lattices. In: de Groote, P., Egg, M., Kallmeyer, L. (eds.) FG 2009. LNCS (LNAI), vol.\u00a05591, pp. 183\u2013198. Springer, Heidelberg (2011)"},{"key":"1_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1007\/978-3-642-15488-1_5","volume-title":"Grammatical Inference: Theoretical Results and Applications","author":"A. Clark","year":"2010","unstructured":"Clark, A.: Learning Context Free Grammars with the Syntactic Concept Lattice. In: Sempere, J.M., Garc\u00eda, P. (eds.) ICGI 2010. LNCS, vol.\u00a06339, pp. 38\u201351. Springer, Heidelberg (2010)"},{"key":"1_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1007\/978-3-642-22321-1_37","volume-title":"Developments in Language Theory","author":"R. Yoshinaka","year":"2011","unstructured":"Yoshinaka, R.: Towards Dual Approaches for Learning Context-Free Grammars Based on Syntactic Concept Lattices. In: Mauri, G., Leporati, A. (eds.) DLT 2011. LNCS, vol.\u00a06795, pp. 429\u2013440. Springer, Heidelberg (2011)"},{"key":"1_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"538","DOI":"10.1007\/978-3-642-28332-1_46","volume-title":"Language and Automata Theory and Applications","author":"R. Yoshinaka","year":"2012","unstructured":"Yoshinaka, R.: Integration of the Dual Approaches in the Distributional Learning of Context-Free Grammars. In: Dediu, A.-H., Mart\u00edn-Vide, C. (eds.) LATA 2012. LNCS, vol.\u00a07183, pp. 538\u2013550. Springer, Heidelberg (2012)"},{"key":"1_CR17","unstructured":"Galatos, N., Jipsen, P., Kowalski, T., Ono, H.: Residuated lattices: an algebraic glimpse at substructural logics. Elsevier (2007)"},{"key":"1_CR18","unstructured":"Costa Flor\u00eancio, C.: Learning categorial grammars. PhD thesis, Utrecht University (2003)"},{"issue":"4","key":"1_CR19","first-page":"519","volume":"6","author":"A. Okhotin","year":"2001","unstructured":"Okhotin, A.: Conjunctive grammars. Journal of Automata, Languages and Combinatorics\u00a06(4), 519\u2013535 (2001)","journal-title":"Journal of Automata, Languages and Combinatorics"},{"issue":"2","key":"1_CR20","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. Journal of Logic, Language and Information\u00a01(2), 141\u2013171 (1992)","journal-title":"Journal of Logic, Language and Information"},{"issue":"2","key":"1_CR21","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0890-5401(87)90052-6","volume":"75","author":"D. Angluin","year":"1987","unstructured":"Angluin, D.: Learning regular sets from queries and counterexamples. Information and Computation\u00a075(2), 87\u2013106 (1987)","journal-title":"Information and Computation"},{"key":"1_CR22","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1007\/978-3-642-16108-7_2","volume-title":"Algorithmic Learning Theory","author":"A. Clark","year":"2010","unstructured":"Clark, A.: Towards General Algorithms for Grammatical Inference. In: Hutter, M., Stephan, F., Vovk, V., Zeugmann, T. (eds.) ALT 2010. LNCS (LNAI), vol.\u00a06331, pp. 11\u201330. Springer, Heidelberg (2010)"},{"key":"1_CR23","unstructured":"Clark, A.: Efficient, correct, unsupervised learning of context-sensitive languages. In: Proceedings of the Fourteenth Conference on Computational Natural Language Learning, Uppsala, Sweden, pp. 28\u201337. Association for Computational Linguistics (July 2010)"},{"issue":"2","key":"1_CR24","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1016\/0304-3975(91)90374-B","volume":"88","author":"H. Seki","year":"1991","unstructured":"Seki, H., Matsumura, T., Fujii, M., Kasami, T.: On multiple context-free grammars. Theoretical Computer Science\u00a088(2), 229 (1991)","journal-title":"Theoretical Computer Science"},{"issue":"19","key":"1_CR25","doi-asserted-by":"publisher","first-page":"1821","DOI":"10.1016\/j.tcs.2010.12.058","volume":"412","author":"R. Yoshinaka","year":"2011","unstructured":"Yoshinaka, R.: Efficient learning of multiple context-free languages with multidimensional substitutability from positive data. Theoretical Computer Science\u00a0412(19), 1821\u20131831 (2011)","journal-title":"Theoretical Computer Science"},{"key":"1_CR26","unstructured":"Yoshinaka, R., Clark, A.: Polynomial time learning of some multiple context-free languages with a minimally adequate teacher. In: Proceedings of the 15th Conference on Formal Grammar, Copenhagen, Denmark (2010)"},{"issue":"1","key":"1_CR27","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2307\/2267170","volume":"12","author":"E. Post","year":"1947","unstructured":"Post, E.: Recursive unsolvability of a problem of Thue. The Journal of Symbolic Logic\u00a012(1), 1\u201311 (1947)","journal-title":"The Journal of Symbolic Logic"},{"issue":"4","key":"1_CR28","first-page":"629","volume":"23","author":"F. Pereira","year":"1997","unstructured":"Pereira, F.: Review of Type logical grammar: categorial logic of signs by Glyn Morrill. Computational Linguistics\u00a023(4), 629\u2013635 (1997)","journal-title":"Computational Linguistics"},{"key":"1_CR29","doi-asserted-by":"crossref","unstructured":"Chomsky, N.: Syntactic Structures. Mouton (1957)","DOI":"10.1515\/9783112316009"}],"container-title":["Lecture Notes in Computer Science","Logical Aspects of Computational Linguistics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-31262-5_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,23]],"date-time":"2023-06-23T04:10:52Z","timestamp":1687493452000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-31262-5_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642312618","9783642312625"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-31262-5_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}