Deduction as Reduction, from a Categorical Point of View

摘要

Deduction systems and graph transformation systems are compared within a common categorical framework. This comparison results in a proposal for a new deduction method in diagrammatic logics, allowing the deletion of intermediate lemmas.