CSymLean公司 swMATH ID: 9983 软件作者： 雷吉斯·阿伦达；尼古拉·奥利维蒂 说明： CSymLean:对称分空间上逻辑CSL的定理证明。Sheremet等人引入了比较概念相似性的逻辑CSL，以捕获一种形式的定性相似性比较。我们在这里𝒞𝒮ym（英制）ℒean是CSL在对称最小空间上解释的第一个定理。这是最近为该逻辑提出的标签表演算的Prolog实现，它受到了精益方法的启发。 主页： http://link.springer.com/chapter/10.1007%2F978-3-642-22119-4_4 相关软件： CSLLean公司 引用于： 1文件 2位作者引用 1 雷吉斯·阿伦达 1 尼古拉·奥利维蒂 0连载引用 在2个字段中引用 1 数学逻辑和基础（03-XX） 1 计算机科学（68至XX） 按年份列出的引文