{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:30:40Z","timestamp":1742913040077,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"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_10","type":"book-chapter","created":{"date-parts":[[2016,8,5]],"date-time":"2016-08-05T09:36:04Z","timestamp":1470389764000},"page":"164-179","source":"Crossref","is-referenced-by-count":2,"title":["On Some Extensions of Syntactic Concept Lattices: Completeness and Finiteness Results"],"prefix":"10.1007","author":[{"given":"Christian","family":"Wurm","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,8,6]]},"reference":[{"issue":"1\u20135","key":"10_CR1","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. Math. Logic Q. 32(1\u20135), 13\u201328 (1986)","journal-title":"Math. Logic Q."},{"issue":"1\u20132","key":"10_CR2","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1016\/S0304-3975(97)00266-1","volume":"1998","author":"W Buszkowski","year":"1998","unstructured":"Buszkowski, W.: Algebraic structures in categorial grammar. Theor. Comput. Sci. 1998(1\u20132), 5\u201324 (1998)","journal-title":"Theor. Comput. Sci."},{"key":"10_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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.) Formal Grammar. LNCS, vol. 5591, pp. 183\u2013198. Springer, Heidelberg (2011)"},{"key":"10_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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. 6339, pp. 38\u201351. Springer, Heidelberg (2010)"},{"key":"10_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-3-642-29709-0","volume-title":"Logical Aspects of Computational Linguistics","author":"A Clark","year":"2012","unstructured":"Clark, A.: Logical grammars, logical theories. In: B\u00e9chet, D., Dikovsky, A. (eds.) Logical Aspects of Computational Linguistics. LNCS, vol. 7351, pp. 1\u201320. Springer, Heidelberg (2012)"},{"issue":"5","key":"10_CR6","doi-asserted-by":"crossref","first-page":"1203","DOI":"10.1093\/logcom\/ext037","volume":"25","author":"A Clark","year":"2013","unstructured":"Clark, A.: The syntactic concept lattice: another algebraic theory of the context-free languages? J. Logic Comput. 25(5), 1203\u20131229 (2013)","journal-title":"J. Logic Comput."},{"key":"10_CR7","volume-title":"Introduction to Lattices and Order","author":"BA Davey","year":"1991","unstructured":"Davey, B.A., Priestley, H.A.: Introduction to Lattices and Order, 2nd edn. Cambridge University Press, Cambridge (1991)","edition":"2"},{"issue":"1","key":"10_CR8","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1007\/s11225-005-6776-4","volume":"80","author":"M Farulewski","year":"2005","unstructured":"Farulewski, M.: On finite models of the Lambek calculus. Studia Logica 80(1), 63\u201374 (2005)","journal-title":"Studia Logica"},{"key":"10_CR9","volume-title":"Residuated Lattices: An Algebraic Glimpse at Substructural Logics","author":"N Galatos","year":"2007","unstructured":"Galatos, N., Jipsen, P., Kowalski, T., Ono, H.: Residuated Lattices: An Algebraic Glimpse at Substructural Logics. Elsevier, Amsterdam (2007)"},{"key":"10_CR10","volume-title":"Structural Linguistics","author":"ZS Harris","year":"1963","unstructured":"Harris, Z.S.: Structural Linguistics. The University of Chicago Press, Chicago (1963)"},{"key":"10_CR11","doi-asserted-by":"crossref","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. Logic Lang. Inf. 1, 141\u2013171 (1992)","journal-title":"J. Logic Lang. Inf."},{"key":"10_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"112","DOI":"10.1007\/978-3-642-22221-4_8","volume-title":"Logical Aspects of Computational Linguistics","author":"M Kanazawa","year":"2011","unstructured":"Kanazawa, M., Michaelis, J., Salvati, S., Yoshinaka, R.: Well-nestedness properly subsumes strict derivational minimalism. In: Pogodalla, S., Prost, J.-P. (eds.) Logical Aspects of Computational Linguistics. LNCS, vol. 6736, pp. 112\u2013128. Springer, Heidelberg (2011)"},{"key":"10_CR13","doi-asserted-by":"crossref","first-page":"154","DOI":"10.2307\/2310058","volume":"65","author":"J Lambek","year":"1958","unstructured":"Lambek, J.: The mathematics of sentence structure. Am. Math. Monthly 65, 154\u2013169 (1958)","journal-title":"Am. Math. Monthly"},{"key":"10_CR14","doi-asserted-by":"crossref","first-page":"166","DOI":"10.1090\/psapm\/012\/9972","volume-title":"Structure of Language and its Mathematica Vl Aspects","author":"J Lambek","year":"1961","unstructured":"Lambek, J.: On the calculus of syntactic types. In: Jakobson, R. (ed.) Structure of Language and its Mathematica Vl Aspects, pp. 166\u2013178. American Mathematical Society, Providence (1961)"},{"issue":"1","key":"10_CR15","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.: The displacement calculus. J. Logic Lang. Inf. 20(1), 1\u201348 (2011)","journal-title":"J. Logic Lang. Inf."},{"issue":"2","key":"10_CR16","doi-asserted-by":"crossref","first-page":"790","DOI":"10.2307\/2586501","volume":"64","author":"M Okada","year":"1999","unstructured":"Okada, M., Terui, K.: The finite model property for various fragments of intuitionistic linear logic. J. Symb. Log. 64(2), 790\u2013802 (1999)","journal-title":"J. Symb. Log."},{"key":"10_CR17","doi-asserted-by":"crossref","unstructured":"Pentus, M.: Lambek grammars are context free. In: Proceedings of the 8th Annual IEEE Symposium on Logic in Computer Science, Los Alamitos, California, pp. 429\u2013433. IEEE Computer Society Press (1993)","DOI":"10.1109\/LICS.1993.287565"},{"key":"10_CR18","unstructured":"Sestier, A.: Contributions \u00e0 une th\u00e9orie ensembliste des classifications linguistiques. In: Actes du Ier Congr\u00e8s de l\u2019AFCAL, Grenoble, pp. 293\u2013305 (1960) (Contributions to a set-theoretical theory of classifications)"},{"key":"10_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"126","DOI":"10.1007\/978-3-642-39998-5_8","volume-title":"Formal Grammar","author":"C Wurm","year":"2013","unstructured":"Wurm, C.: Completeness of full Lambek calculus for syntactic concept lattices. In: Morrill, G., Nederhof, M.-J. (eds.) Formal Grammar 2012 and 2013. LNCS, vol. 8036, pp. 126\u2013141. Springer, Heidelberg (2013)"}],"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_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,2,6]],"date-time":"2018-02-06T07:08:32Z","timestamp":1517900912000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-53042-9_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783662530412","9783662530429"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-53042-9_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}