{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:49:49Z","timestamp":1725551389216},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642119279"},{"type":"electronic","value":"9783642119286"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-11928-6_16","type":"book-chapter","created":{"date-parts":[[2010,4,7]],"date-time":"2010-04-07T11:21:07Z","timestamp":1270639267000},"page":"225-240","source":"Crossref","is-referenced-by-count":2,"title":["On Categorial Grammars as Logical Information Systems"],"prefix":"10.1007","author":[{"given":"Annie","family":"Foret","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S\u00e9bastien","family":"Ferr\u00e9","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications","year":"2003","key":"16_CR1","unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)"},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"B\u00e9chet, D.: Parsing pregroup grammars and Lambek calculus using partial composition. Studia Logica\u00a087(2\/3) (2007)","DOI":"10.1007\/s11225-007-9084-3"},{"key":"16_CR3","unstructured":"Bechet, D., Foret, A.: Ppq: a pregroup parser using majority composition. In: Proceedings of Parsing with Categorial Grammars, ESSLLI workshop, Bordeaux, France, July 20-24 (2009)"},{"key":"16_CR4","unstructured":"B\u00e9chet, D., Foret, A.: A pregroup toolbox for parsing and building grammars of natural languages. Linguistic Analysis Journal\u00a036 (to appear)"},{"key":"16_CR5","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1007\/3-540-48199-0_4","volume-title":"Logical Aspects of Computational Linguistics","author":"D. Bargelli","year":"2001","unstructured":"Bargelli, D., Lambek, J.: An algebraic approach to french sentence structure. In: de Groote, P., Morrill, G., Retor\u00e9, C. (eds.) LACL 2001. LNCS (LNAI), vol.\u00a02099, p. 62. Springer, Heidelberg (2001)"},{"key":"16_CR6","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. (eds.) Handbook of Logic and Language, ch. 12, pp. 683\u2013736. North-Holland Elsevier, Amsterdam (1997)"},{"key":"16_CR7","unstructured":"Buszkowski, W.: Cut elimination for the lambek calculus of adjoints. In: New Perspectives in Logic and Formal Linguisitics, Proceedings Vth ROMA Workshop, Bulzoni Editore (2001)"},{"key":"16_CR8","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/3-540-48199-0_6","volume-title":"Logical Aspects of Computational Linguistics","author":"W. Buszkowski","year":"2001","unstructured":"Buszkowski, W.: Lambek grammars based on pregroups. In: de Groote, P., Morrill, G., Retor\u00e9, C. (eds.) LACL 2001. LNCS (LNAI), vol.\u00a02099, p. 95. Springer, Heidelberg (2001)"},{"key":"16_CR9","unstructured":"Buszkowski, W.: Lambek calculus with nonlogical axioms. In: Language and Grammar. Studies in Mathematical Linguistics and Natural Language, pp. 77\u201393. CSLI Publications (2002)"},{"issue":"4","key":"16_CR10","doi-asserted-by":"publisher","first-page":"423","DOI":"10.1007\/s10849-005-1242-2","volume":"14","author":"S. Degeilh","year":"2005","unstructured":"Degeilh, S., Preller, A.: Efficiency of pregroup and the french noun phrase. Journal of Language, Logic and Information\u00a014(4), 423\u2013444 (2005)","journal-title":"Journal of Language, Logic and Information"},{"key":"16_CR11","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1007\/11787181_15","volume-title":"Conceptual Structures: Inspiration and Application","author":"J. Ducrou","year":"2006","unstructured":"Ducrou, J., Vormbrock, B., Eklund, P.W.: FCA-based browsing and searching of a collection of images. In: Sch\u00e4rfe, H., Hitzler, P., \u00d8hrstr\u00f8m, P. (eds.) ICCS 2006. LNCS (LNAI), vol.\u00a04068, pp. 203\u2013214. Springer, Heidelberg (2006)"},{"key":"16_CR12","doi-asserted-by":"crossref","unstructured":"Ferr\u00e9, S.: Camelis: a logical information system to organize and browse a collection of documents. Int. J. General Systems\u00a038(4) (2009)","DOI":"10.1080\/03081070902857886"},{"key":"16_CR13","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1007\/978-3-540-24651-0_5","volume-title":"Concept Lattices","author":"S. Ferr\u00e9","year":"2004","unstructured":"Ferr\u00e9, S., King, R.D.: BLID: an application of logical information systems to bioinformatics. In: Eklund, P. (ed.) ICFCA 2004. LNCS (LNAI), vol.\u00a02961, pp. 47\u201354. Springer, Heidelberg (2004)"},{"key":"16_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/978-3-540-73445-1_11","volume-title":"Logic, Language, Information and Computation","author":"A. Foret","year":"2007","unstructured":"Foret, A.: Pregroup calculus as a logical functor. In: Leivant, D., de Queiroz, R. (eds.) WoLLIC 2007. LNCS, vol.\u00a04576, pp. 147\u2013161. Springer, Heidelberg (2007)"},{"issue":"3","key":"16_CR15","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1016\/S0306-4573(03)00018-9","volume":"40","author":"S. Ferr\u00e9","year":"2004","unstructured":"Ferr\u00e9, S., Ridoux, O.: An introduction to logical information systems. Information Processing & Management\u00a040(3), 383\u2013419 (2004)","journal-title":"Information Processing & Management"},{"key":"16_CR16","unstructured":"Ferr\u00e9, S., Ridoux, O.: Logic functors: A toolbox of components for building customized and embeddable logics. Research Report RR-5871, INRIA, 103 p. (March 2006)"},{"issue":"5","key":"16_CR17","doi-asserted-by":"publisher","first-page":"747","DOI":"10.1006\/imms.1993.1035","volume":"38","author":"R. Godin","year":"1993","unstructured":"Godin, R., Missaoui, R., April, A.: Experimental comparison of navigation in a Galois lattice with conventional information retrieval methods. International Journal of Man-Machine Studies\u00a038(5), 747\u2013767 (1993)","journal-title":"International Journal of Man-Machine Studies"},{"key":"16_CR18","unstructured":"Kanazawa, M.: Learnable Classes of Categorial Grammars. Studies in Logic, Language and Information. Center for the Study of Language and Information (CSLI) and The European association for Logic, Language and Information (FOLLI), Stanford, California (1998)"},{"key":"16_CR19","doi-asserted-by":"crossref","unstructured":"Lambek, J.: The mathematics of sentence structure. American Mathematical Monthly\u00a065 (1958)","DOI":"10.2307\/2310058"},{"key":"16_CR20","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-48975-4_1","volume-title":"Logical Aspects of Computational Linguistics","author":"J. Lambek","year":"1999","unstructured":"Lambek, J.: Type grammar revisited. In: Lecomte, A., Perrier, G., Lamarche, F. (eds.) LACL 1997. LNCS (LNAI), vol.\u00a01582, p. 1. Springer, Heidelberg (1999)"},{"key":"16_CR21","doi-asserted-by":"crossref","unstructured":"Lambek, J.: Pregroups and natural language processing. The Mathematical Intelligencer\u00a028(2) (2006)","DOI":"10.1007\/BF02987155"},{"key":"16_CR22","unstructured":"Oehrle, R.: A parsing algorithm for pregroup grammars. In: Moortgat, M., Prince, V. (eds.) Proc. of Intern. Conf. on Categorial Grammars, Montpellier (2004)"}],"container-title":["Lecture Notes in Computer Science","Formal Concept Analysis"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-11928-6_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T17:57:45Z","timestamp":1558288665000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-11928-6_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642119279","9783642119286"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-11928-6_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}