典型文献
谓词逻辑系统MTL?中公式的公理化真度
文献摘要：
命题逻辑及谓词逻辑计量化是逻辑系统的研究热点之一.在左连续三角模的谓词逻辑系统MTL?中,利用公理化方法提出了MTL?公式的真度,证明了该真度的MP规则、HS规则及交推理规则;同时在谓词逻辑系统MTL?的一阶闭逻辑公式集中引入了相似度和伪距离,证明了关于相似度的一些良好性质,并讨论了逻辑运算关于伪距离的连续性问题.
文献关键词：
谓词逻辑系统MTL∀;公理化真度;相似度;伪距离
中图分类号：
作者姓名：
王波;惠小静;鲁星
作者机构：
延安大学 数学与计算机科学学院,陕西 延安 716000
文献出处：
引用格式：
[1]王波;惠小静;鲁星-.谓词逻辑系统MTL?中公式的公理化真度)[J].浙江大学学报（理学版）,2022(05):521-526,548
A类：
伪距离
B类：
谓词逻辑系统,MTL,公理化真度,命题逻辑,连续三角模,公理化方法,MP,HS,推理规则,好性,逻辑运算
AB值：
0.212213
相似文献
机标中图分类号，由域田数据科技根据网络公开资料自动分析生成，仅供学习研究参考。
