Deduction as Reduction

Abstract

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

References in corpus (1)

• Diagrammatic logic applied to a parameterization process