算子Fuzzy逻辑和λ-归结方法

被引：17

作者：

刘叙华

肖红

机构：

[1] 吉林大学计算机科学系

来源：

关键词：

定理; 逻辑; 前束范式; 斯科伦范式; 归结方法; Fuzzy; 算子格; 当且仅当; 定义; 自由变量; 自由变项;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

本文提出了算子Fuzzy逻辑,并给出了这种逻辑系统中公式的一些简单性质,在算子Fuzzy逻辑中,提出了λ-恒真和λ-恒假的概念,提出了λ-归结方法。证明了:对于任一个λ-恒假公式,使用λ-归结方法,都可以在有限步内,给以判定。

引用

页码：81 / 91

页数：11