真度函数相关论文
众所周知,数理逻辑的特点在于形式化和符号化,无论是二值逻辑还是多值逻辑,都注重形式推理,而较少关心数值计算。2001年王国俊教授基于......
在n值Lukasiewicz命题逻辑系统中引入了公式集F(S)上真度函数的公理化定义,给出了真度函数的若干重要性质,利用真度函数从形式上定义......
基于乘积逻辑系统研究公式的真度函数理论。在乘积逻辑系统中给出真度函数的概念,得到真度函数的一系列性质,证明τ-完备性定理,说......