On Generalized Ajdukiewicz and Lambek Calculi and Grammars

Article type: Research Article

Authors: Kandulski, Maciej

Affiliations: Faculty of Mathematics and Computer Science, Adam Mickiewicz University, Poznań, Poland

Abstract: We show that derivation trees in the generalized Lambek calculus can be transformed to a normal form. This fact is employed in the proof of the inclusion of the class of phrase languages generated by categorial grammars based on the generalized Lambek calculus in the class of phrase languages generated by categorial grammars based on the generalized Ajdukiewicz calculus.

Keywords: syntactic calculi, categorial grammars, phrase languages

DOI: 10.3233/FI-1997-30204

Journal: Fundamenta Informaticae, vol. 30, no. 2, pp. 169-181, 1997