Scifaro

中文

三段论图解演算

逻辑 2013-03-01 v3 范畴论

作者: Ruggero Pagnan

在 arXiv 上查看 ↗ PDF ↗

摘要

本文介绍并讨论了一种用于三段论推理的图解逻辑演算。我们证明：一个三段论是有效的当且仅当它在该演算中是可证的。

关键词

三段论推理图解演算逻辑演算有效性可证性

引用

@article{arxiv.1001.1707,
  title  = {A diagrammatic calculus of syllogisms},
  author = {Ruggero Pagnan},
  journal= {arXiv preprint arXiv:1001.1707},
  year   = {2013}
}