格值逻辑
更新时间:-- | 阅读量: 70

研究其命题可以有任意有穷多和无穷多真值的逻辑演算、演算的性质及其相互关系的学科。现...多值逻辑一经问世，就受到逻辑学界的重视。几十年来，它的发展是沿着两个方向进行的：一是深入地研究多值逻辑的系统以发展逻辑的工具，研究这些系统的性质和诸系 ...

搜索到与“ 格值逻辑”相关的文献共 1条

格值一阶逻辑系统LF( X)中的a-有序语义归结
讨论格值一阶逻辑系统LF (X)中a-语义归结方法和有序归结方法的相容性。给出了LF (X)中a-有序语义归结和a-有序语义归结演绎的概念，通过实例说明LF (X)中a-有序语义归结演绎的有效性和不完...

《四川理工学院学报（社会科学版）》 2015年5期关键词: "自动推理","归结域","格值逻辑","格蕴涵代数" 收藏