K*?谓词逻辑系统中相似度及伪距离研究

作者：鲁星; 惠小静; 王波

来源：延安大学学报(自然科学版), 2022, 41(04): 103-107.

DOI：10.13876/J.cnki.ydnse.2022.04.103

• *?谓词逻辑系统" name="keyword">K*?谓词逻辑系统
• 相似度
• 伪距离

从一阶逻辑系统的相似度出发，结合谓词演算系统K*?，以公理化真度为基础讨论了公式之间相似度和伪距离的运算性质，对相似度性质进行了简化，并对K*?中闭公式相似度及伪距离的计算方法和性质作进一步推广。

• 出版日期2022