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

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

来源：宁夏大学学报(自然科学版), 2022, 43(02): 136-140.

• 谓词逻辑系统MTL?
• 公理化真度
• 计量逻辑

针对命题逻辑及谓词逻辑的计量化这一研究热点，在基于左连续三角模的谓词演算系统MTL?中，对公理化真度的计算方法、运算性质、逻辑算子之间的关系进行了研究.