算子Fuzzy逻辑中的λ—蕴涵和λ—强蕴涵

λ-IMPLYING AND λ-STRONG IMPLYING IN OPERATOR FUZZY LOGIC

在本文中,我们引进了算子模糊逻辑中的λ-蕴涵和λ-强蕴涵的概念,λ-逻辑结果和λ-弱逻辑结果的概念。证明了两子句的的λ-归结式是这两个子句的λ-逻辑结果,从而完成了λ-归结的完备性定理的证明。

In this paper, we introduce the concepts of λ-implying, λ-strong implying, λ-weak logical consequence and λ-logical consequence. We prove that λ-resolvent of C1 and C2 is a λ-logical consequence of (C1∧C2) and compleieness theorem of λ-resolution.