| 摘要: |
| 在本文中,我们引进了算子模糊逻辑中的λ-蕴涵和λ-强蕴涵的概念,λ-逻辑结果和λ-弱逻辑结果的概念。证明了两子句的的λ-归结式是这两个子句的λ-逻辑结果,从而完成了λ-归结的完备性定理的证明。 |
| 关键词: |
| DOI： |
| 分类号: |
| 基金项目: |
|
| λ-IMPLYING AND λ-STRONG IMPLYING IN OPERATOR FUZZY LOGIC |
|
Liu Xuhua
|
| Abstract: |
| 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. |
| Key words: |
