MTL■谓词逻辑系统公理化真度的运算性质研究  

Operation Properties of Axiomatic Truth Degree in MTL■Predicate Logic System

作　　者：王波 惠小静[1] 鲁星 Wang Bo;Hui Xiaojing;Lu Xing(College of Mathematics and Computer Science, Yan’an University, Yan’an 716000, China)

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

出　　处：《宁夏大学学报（自然科学版）》2022年第2期136-140,共5页Journal of Ningxia University(Natural Science Edition)

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

摘　　要：针对命题逻辑及谓词逻辑的计量化这一研究热点,在基于左连续三角模的谓词演算系统MTL■中,对公理化真度的计算方法、运算性质、逻辑算子之间的关系进行了研究.The metrization of propositional logic and predicate logic is a research hotspot.In this paper,the calculation method,operation properties and the relation among logic operators of axiomatic truth are studied in the predicate calculus system MTL■that based on left continuous triangle norm.

关 键 词：谓词逻辑系统MTL■ 公理化真度 计量逻辑 

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