Sciweavers

CORR
2010
Springer
106views Education» more  CORR 2010»
14 years 14 days ago
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.
Dominique Duval