  Deduction systems and graph rewriting systems are compared within a common
categorical framework. This leads to an improved deduction method in
diagrammatic logics.

Logic in Computer Science;Category Theory