摘要：介绍Ologisms：通过扩展逻辑表达能力，从仅考虑等式约束到同时考虑三段论约束的能力。这是通过利用一种特殊的图示逻辑演算法来实现的，该演算法在设计olog时表现良好。
作者：Ruggero Pagnan
论文ID：1701.05408
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-06-22
PDF 下载： 英文版 中文版pdf翻译中