典型文献
K*?谓词逻辑系统中相似度及伪距离研究
文献摘要：
从一阶逻辑系统的相似度出发,结合谓词演算系统K*?,以公理化真度为基础讨论了公式之间相似度和伪距离的运算性质,对相似度性质进行了简化,并对K*?中闭公式相似度及伪距离的计算方法和性质作进一步推广.
文献关键词：
K*∀谓词逻辑系统;相似度;伪距离
中图分类号：
作者姓名：
鲁星;惠小静;王波
作者机构：
延安大学 数学与计算机科学学院,陕西延安 716000
文献出处：
引用格式：
[1]鲁星;惠小静;王波-.K*?谓词逻辑系统中相似度及伪距离研究)[J].延安大学学报（自然科学版）,2022(04):103-107
A类：
伪距离,闭公式
B类：
谓词逻辑系统,一阶逻辑,谓词演算,公理化真度,运算性质
AB值：
0.194831
机标中图分类号，由域田数据科技根据网络公开资料自动分析生成，仅供学习研究参考。
