一种算子模糊逻辑系统 (2008年)

建立了一种带模糊文字以及模糊算子的算子模糊逻辑系统，讨论了该逻辑系统逻辑性质．在算子模糊逻辑系统中，定义了λ-归结，证明了λ-归结的相容性以及基于λ-归结的归结推理的完备性，为基于逻辑的不确定性推理提供了新的思路与方法．