真度论文

多值命题逻辑中若干逻辑理论的拓扑刻画
论文摘要数理逻辑的特点在于形式化和符号化,它和计算数学有着截然不同的风格,前者注重形式推理,而后者注重数值计算;前者强调严格论证,而后者允许近似求解,如果说数理逻辑具有刻板的一...
直觉模糊命题逻辑系统的语义
论文摘要本文首先通过定义新的蕴涵算子→T,建立一个新的直觉模糊命题逻辑系统（I02,,∨,→T）,讨论此蕴涵算子的性质,研究系统I02上的广义拟重言式,它共分为五种不同的广义拟...
区间值模糊命题逻辑的广义拟重言式及其真度
论文摘要本文定义了规范区间和区间值模糊命题逻辑的→G蕴涵算子,研究了区间值模糊命题逻辑广义拟重言式及其分类.在此基础上给出局部赋值的广义拟重言式定义,并在其中建立了升级算法.最...