n值S-MTL命题逻辑系统中公式真度的统一理论.pdfVIP

第 期 电 子 学 报 ８ Ｖｏｌ．３９ Ｎｏ．８ 年 月 ２０１１ ８ ＡＣＴＡＥＬＥＣＴＲＯＮＩＣＡＳＩＮＩＣＡ Ａｕｇ． ２０１１ 值 命题逻辑系统中公式真度的统一理论 ｎ ＳＭＴＬ 李 骏，邓富喜 （兰州理工大学理学院，甘肃兰州７３００５０） 摘 要： 给出了强正则蕴涵算子和 值 命题逻辑系统的定义 基于一般的概率测度定义了公式的真度， ｎ ＳＭＴＬ ． 并给出了公式真度的积分表达式；基于公式真度的积分表达式证明了真度推理规则；在 值 命题逻辑系统的