三值逻辑系统相关硕士博士期刊学术论文

众所周知，数理逻辑的特点在于形式化和符号化，无论是二值逻辑还是多值逻辑，都注重形式推理，而较少关心数值计算。2001年王国俊教授基于......