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.

• Type: Journal
• Year: 2010
• Where: CORR
• Authors: Dominique Duval
• Keywords: Common Categorical Framework, CORR 2010, Education, Graph Rewriting Systems, Improved Deduction Method