Deduction as Reduction
Logic in Computer Science
2010-11-10 v1 Category Theory
Abstract
Deduction systems and graph rewriting systems are compared within a common categorical framework. This leads to an improved deduction method in diagrammatic logics.
Cite
@article{arxiv.1011.1330,
title = {Deduction as Reduction},
author = {Dominique Duval},
journal= {arXiv preprint arXiv:1011.1330},
year = {2010}
}