MTL∀谓词逻辑系统公理化真度及其相似度的性质研究  

Axiomatic truth degree and similarity degree of MTL ∀ predicate logic system

作　　者：王波 惠小静[1] 马田雨 鲁星 WANG Bo;HUI Xiaojing;MA Tianyu;LU Xing(College of Mathematics and Computer Science,Yan’an University,Yan’an 716000,China)

机构地区：[1]延安大学数学与计算机科学学院,陕西延安716000

出　　处：《湖北大学学报（自然科学版）》2023年第2期198-204,共7页Journal of Hubei University：Natural Science

基　　金：国家自然科学基金(11471007,61763045)资助。

摘　　要：命题逻辑及谓词逻辑的计量化是近期的一个研究热点,本研究基于左连续三角模的谓词演算系统MTL∀,给出特定形式公式的真度取值范围,并研究含量词公式的相似度性质.The quantification of propositional logic and predicate logic is a hotspot research recently.In this paper,on the basis of the left continuous triangular module in the predicate calculus system MTL∀,the value range of the truth degree of the specific formal formula was given,and the similarity property of the content word formula was studied.

关 键 词：谓词逻辑系统MTL∀ 公理化真度 相似度 

分 类 号：O141.1[理学—数学]