A diagrammatic calculus of n-term syllogisms
Logic
2010-02-10 v1 Category Theory
Abstract
We extend the diagrammatic calculus of syllogisms introduced in our previous paper to the general case of n-term syllogisms, showing that the valid ones are exactly those whose conclusion follows by calculation. Moreover, by pointing out the existing connections with the theory of rewriting systems we will also single out a suitable category theoretic framework for the calculus.
Cite
@article{arxiv.1002.1868,
title = {A diagrammatic calculus of n-term syllogisms},
author = {Ruggero Pagnan},
journal= {arXiv preprint arXiv:1002.1868},
year = {2010}
}
Comments
20 pages