A diagrammatic calculus of syllogisms
Logic
2013-03-01 v3 Category Theory
Abstract
A diagrammatic logical calculus for the syllogistic reasoning is introduced and discussed. We prove that a syllogism is valid if and only if it is provable in the calculus.
Cite
@article{arxiv.1001.1707,
title = {A diagrammatic calculus of syllogisms},
author = {Ruggero Pagnan},
journal= {arXiv preprint arXiv:1001.1707},
year = {2013}
}