Reasoning with Categorial Grammar Logic