Abstract
The notion of k-valued categorial grammars where a word is associated to at most k types is often used in the field of lexicalized grammars as a fruitful constraint for obtaining several properties like the existence of learning algorithms. This principle is relevant only when the classes of k-valued grammars correspond to a real hierarchy of languages. This paper establishes the relevance of this notion for two related grammatical systems. In the first part, the classes of k-valued non-associative Lambek (NL) grammars without product is proved to define a strict hierarchy of languages. The second part introduces the notion of generalized functor argument for non-associative Lambek (NL ∅ ) calculus without product but allowing empty antecedent and establishes also that the classes of k-valued (NL ∅ ) grammars without product form a strict hierarchy of languages.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bar-Hillel, Y.: A quasi arithmetical notation for syntactic description. Language 29, 47–58 (1953)
Lambek, J.: The mathematics of sentence structure. American mathematical monthly 65, 154–169 (1958)
Joshi, A.K., Shabes, Y.: Tree-adjoining grammars and lexicalized grammars. In: Tree Automata and LGS, Elsevier Science, Amsterdam (1992)
Gold, E.: Language identification in the limit. Information and control 10, 447–474 (1967)
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)
Béchet, D., Foret, A.: k-valued non-associative lambek grammars are learnable from function-argument structures. In: de Queiroz, R., Pimentel, E., Figueiredo, L. (eds.) Electronic Notes in Theoretical Computer Science, vol. 84, pp. 1–13. Elsevier, Amsterdam (2003)
Lambek, J.: On the calculus of syntactic types. In: Jakobson, R. (ed.) Structure of language and its mathematical aspects, pp. 166–178. American Mathematical Society (1961)
Kandulski, M.: The non-associative lambek calculus. In: Buszkowski, W., Marciszewski, W., Van Bentem, J. (eds.) Categorial Grammar, pp. 141–152. Benjamins, Amsterdam (1988)
Aarts, E., Trautwein, K.: Non-associative Lambek categorial grammar in polynomial time. Mathematical Logic Quaterly 41, 476–484 (1995)
Buszkowski, W.: Mathematical linguistics and proof theory. In: [14], ch. 12, pp. 683–736
Moortgat, M.: Categorial type logic. In: [14], ch. 2, pp. 93–177.
de Groote, P.: Non-associative Lambek calculus in polynomial time. In: TABLEAUX 1999. LNCS (LNAI), vol. 1617, pp. 128–139. Springer-Verlag, Heidelberg (1999)
de Groote, P., Lamarche, F.: Classical non-associative lambek calculus. Studia Logica 71(3), 355–388 (2002)
van Benthem, J., ter Meulen, A.: Handbook of Logic and Language. North-Holland Elsevier, Amsterdam (1997)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Béchet, D., Foret, A. (2005). k-Valued Non-associative Lambek Grammars (Without Product) Form a Strict Hierarchy of Languages. In: Blache, P., Stabler, E., Busquets, J., Moot, R. (eds) Logical Aspects of Computational Linguistics. LACL 2005. Lecture Notes in Computer Science(), vol 3492. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11422532_1
Download citation
DOI: https://doi.org/10.1007/11422532_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-25783-7
Online ISBN: 978-3-540-31953-5
eBook Packages: Computer ScienceComputer Science (R0)