Conjunctive categorial grammars and Lambek grammars with additives

Stepan L. Kuznetsov, Alexander Okhotin

A new family of categorial grammars is proposed, defined by enriching basic categorial grammars with a conjunction operation. It is proved that the formalism obtained in this way h…