Λ-归结相关论文
给出中介逻辑谓词演算系统MF的一种无穷值语义解释,即无穷值的(解释,将λ-归结方法引入到MF中,讨论了MF的λ-归结原理,并证明了它......
潘给出的中介谓词逻辑系统MF的无穷值语义解释,不同于MF的其他任何语义解释。但在该无穷值语义解释下,＂当Afuz时～A真＂这种情况并未得......
考虑到模糊逻辑中定理自动证明的重要性以及目前主要研究具有一种否定的模糊逻辑的归结原理，文中对具有三种否定（矛盾否定、对立否定......
建立了一种带模糊文字以及模糊算子的算子模糊逻辑系统，讨论了该逻辑系统逻辑性质．在算子模糊逻辑系统中，定义了λ-归结，证明了λ-归结......
主要讨论了一种只包含动态模糊算子和动态模糊文字的算子动态模糊逻辑系统,介绍了该系统的逻辑性质,在系统中定义了其λ-归结。......
定义一种只带原子命题以及命题算子的算子命题逻辑，讨论了该逻辑的λ-归结的相容性、完备性及其若干逻辑性质。为了实现算子命题逻......
