基本线性逻辑中的三段论
Syllogisms in Rudimentary Linear Logic, Diagrammatically
摘要：
我们提出了一个阅读的传统三段论在一个片段的命题直觉乘法线性逻辑，并证明，相对于一个图解逻辑演算，我们介绍了在以前的文件，一个三段论是可证明的，在这样一个片段，当且仅当它是图解可证明的。我们把这个结果推广到带有补充项的德摩根三段论，这是关于传统情况下图解推理系统的适当扩展，以及在前面提到的线性逻辑片断中对这种德摩根式三段论的相应解读。
英文摘要：
We present a reading of the traditional syllogistics in a fragment of the propositional intuitionistic multiplicative linear logic and prove that with respect to a diagrammatic logical calculus that we introduced in a previous paper, a syllogism is provable in such a fragment if and only if it is diagrammatically provable. We extend this result to syllogistics with complemented terms à la De Morgan, with respect to a suitable extension of the diagrammatic reasoning system for the traditional case and a corresponding reading of such De Morgan style syllogistics in the previously referred to fragment of linear logic.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
