published by Dominique Duval
in 2010
in Informatics Engineering
and research's language is
English
Download
Abstract in English
Deduction systems and graph rewriting systems are compared within a common categorical framework. This leads to an improved deduction method in diagrammatic logics.