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

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