Deduction as Reduction

Dominique Duval (1)

1 CASYS - Calculs Algébriques et Systèmes Dynamiques

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

Domaines: Logique en informatique [cs.LO]; Catégories et ensembles [math.CT]

Dominique Duval. Deduction as Reduction. 2010. ⟨hal-00532598⟩