Stav dette: The logic of categorial grammars