Grammatical model developed by Polish logicians (Ajdukiewicz 1935) as an algorithm for checking the wellformedness of sentences. Its application to natural language was worked out primarily by J.Lambek, Y.Bar-Hillel, D. Lewis, and R.Montague. New...

// n. A particular theory of grammar which is formulated in terms of a small number of basic syntactic categories, a larger number of derived categories which are defined in terms of the basic ones and a set of operations (rules) for combining these...

...

Categorial grammar is a term used for a family of formalisms in natural language syntax motivated by the principle of compositionality and organized according to the view that syntactic constituents should generally combine as functions or according to...