SMS dit: The logic of categorial grammars