NESCOND公司 swMATH ID: 10041 软件作者： 尼古拉·奥利维蒂；吉安·卢卡（Gian Luca），披萨 描述： NESCOND：用于条件逻辑的嵌套顺序演算的实现。我们提出了NESCOND，一个正规条件逻辑的定理证明器。NESCOND为命题条件逻辑CK实现了一些最近引入的NESted序列计算，并使用公理ID、MP和CEM实现了一些重要的扩展。它还处理CK+CSO+ID的扁平片段，对应于Kraus、Lehmann和Magidor引入的逻辑C。NESCOND的灵感来源于𝗅𝖾𝖺𝗇T A P，它在Prolog中实现。本文给出了一些实验结果，证明了NESCOND的性能是有希望的。程序NESCOND以及所有Prolog源文件可在网址：http://www.di.unito.it/pozzato/nesecond/。 主页： 网址：http://www.di.unito.it/~pozzato/秒/ 相关软件： 康德莱恩;月亮;KLMLean公司;精益TAP;文特;github;tuCLEVER公司;梅蒂斯_;佩斯卡;伊莎贝尔/HOL;HOL灯;CSLLean公司;TABLEAUX公司;序言;MetTeL公司;第二代卫星;凯姆斯;LoTREC公司;周六4j;MUlt日志 引用于： 7文件 全部的 前5名11位作者引用 2 玛丽安娜·吉兰多 2 比约恩·莱尔曼 2 尼古拉·奥利维蒂 2 吉安·卢卡（Gian Luca），披萨 1 科西莫·佩里尼·布罗吉 1 马可·马格西 1 雷文莎·拉马纳亚克 1 卢茨斯特拉汉堡 1 维塔利斯，昆廷 1 安娜·扎曼斯基 1 尤尼·佐哈尔 连载1篇 1 自动推理杂志 在2个字段中引用 6 计算机科学（68至XX） 三 数学逻辑和基础（03-XX） 按年份列出的引文