×

The equivalence of nonassociative Lambek categorial grammars and context- free grammars. (English) Zbl 0655.03017

The author proves the equivalence qua weak generative capacity of context-free grammars and noassociative Lambeck flexible categorial grammars with two directional division operators and a product operator. The latter constitute a subsystem of the full, associative Lambeck calculus. The result is a generalization of a result by Buszkowsky who showed the equivalence of the product-free part of the non-associative Lambeck calculus and context-free grammars.
Reviewer: F.Veltman

MSC:

03B99 General logic
03B65 Logic of natural languages
Full Text: DOI