The Logic of Categorial Grammars · Study