Categorial Graphs: The Logic