Derived Tree Languages of Nonassociative Lambek Categorial Grammars with Product

• Autorzy: Kandulski M.
• Języki publikacji: EN

Abstrakty

EN

We introduce the notion of derived tree corresponding with a derivation in the nonassociative Lambek calculus with product, and examine languages of derived trees determined by categorial grammars employing the calculus as a type reduction system. We prove that the class of derived tree languages of nonassociative Lambek grammars with product contains only regular tree languages.

Słowa kluczowe

EN

categorial grammars; Lambek calculus; derived tree languages

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2003
• Tom: Vol. 55, nr 3,4
• Strony: 349--362
• Opis fizyczny: bibliogr. 12 poz.

Twórcy

autor

Kandulski M.

• Faculty of Mathematics and Computer Science, Adam Mickiewicz University, Umultowska 87, 61-614 Poznań, Poland,

Bibliografia

• [1] Buszkowski, W.: Typed functorial languages, Bulletin of the Polish Academy of Sciences: Mathematics 34 (1986), 495-505.
• [2] Buszkowski, W.: Generative capacity of nonassociative Lambek calculus, Bulletin of the Polish Academy of Sciences: Mathematics 34 (1986), 507-516.
• [3] Buszkowski, W.: Mathematical linguistics and proof theory, in: Handbook of Logic and Language (J. van Benthem, A. ter Meulen, Eds.), Elsevier and The MIT Press, 1997.
• [4] Gécseg, F., Steinby, M.: Tree Automata, Akadémiai Kiad´o, Budapest 1984.
• [5] Gécseg, F., Steinby, M.: Tree Languages, in: Handbook of Formal Languages, vol. III (G. Rozenberg, A. Salomaa, Eds.), Springer Verlag, 1997.
• [6] Jäger, G.: Residuation, structural rules and context freeness, Ms, 2002, to appear in: Journal of Logic, Language and Information.
• [7] Kandulski, M.: Phrase structure languages generated by categorial grammars with product, Zeitschrift für mathematische Logik und Grundlagen der Mathematik 34 (1988), 373-383.
• [8] Kandulski, M.: Categorial grammars and tree languages. Submitted.
• [9] Moortgat, M.: Categorial type logics, in: Handbook of Logic and Language (J. van Benthem, A. ter Meulen, Eds.), Elsevier and The MIT Press, 1997.
• [10] Restall, G.: An Introduction to Substructural Logics, Routledge, London, 1999.
• [11] Tiede, H.-J.: Deductive Systems and Grammars: Proofs as Grammatical Structures, Unpublished Ph.D. thesis, Indiana University, 1999.
• [12] Tiede, H.-J.: Lambek calculus proofs and tree automata. in: Logical Aspects of Computational Linguistics, (M. Moortgat, Ed.), Lecture Notes in Artificial Intelligence 2014, Springer Verlag, 2001.