n项三段论的图解演算
逻辑
2010-02-10 v1 范畴论
摘要
我们将之前论文中引入的三段论图解演算推广到n项三段论的一般情形，证明了有效的三段论恰好是其结论可通过计算得出的那些。此外，通过指出与重写系统理论的现有联系，我们还将为该演算单独确定一个合适的范畴论框架。
引用
@article{arxiv.1002.1868,
title = {A diagrammatic calculus of n-term syllogisms},
author = {Ruggero Pagnan},
journal= {arXiv preprint arXiv:1002.1868},
year = {2010}
}
备注
20 pages