λ-归结相关论文
本文特别介绍了一种λ-归结方法,得到λ-归结原理的完备性,从讨论中可以突出λ-归结方法依赖于算子的合成运算[η,η]的选择.......
在这篇论文中,提出了广义λ-子句的概念和引进了广义λ-归结方法.证明了广义λ-归结方法对于广义λ-子句集是完备的.......
本文提出了算子模糊逻辑中的广义λ－调解方法，证明了它和广义λ－归结的联合使用，对于λＥ－不可满足广义子句集是完备的。......
给出中介逻辑谓词演算系统MF的一种无穷值语义解释,即无穷值的(解释,将λ-归结方法引入到MF中,讨论了MF的λ-归结原理,并证明了它......
潘给出的中介谓词逻辑系统MF的无穷值语义解释,不同于MF的其他任何语义解释。但在该无穷值语义解释下,＂当Afuz时～A真＂这种情况并未得......
考虑到模糊逻辑中定理自动证明的重要性以及目前主要研究具有一种否定的模糊逻辑的归结原理，文中对具有三种否定（矛盾否定、对立否定......
建立了一种带模糊文字以及模糊算子的算子模糊逻辑系统，讨论了该逻辑系统逻辑性质．在算子模糊逻辑系统中，定义了λ-归结，证明了λ-归结......
本文在广义λ-归结方法中引进删除策略,讨论了λ-蕴涵的若干性质,并证明:以λ-蕴涵为基础的删除策略不破坏广义λ-归结方法的完备......
主要讨论了一种只包含动态模糊算子和动态模糊文字的算子动态模糊逻辑系统,介绍了该系统的逻辑性质,在系统中定义了其λ-归结。......
定义一种只带原子命题以及命题算子的算子命题逻辑，讨论了该逻辑的λ-归结的相容性、完备性及其若干逻辑性质。为了实现算子命题逻......
定义一种只带模糊文字以及模糊算子的模糊逻辑，讨论了该逻辑的λ-归结的相容性、完备性及其若干逻辑性质。为了实现算子模糊逻辑的......
