摘要
建立一种基于FI-代数的模糊命题演算的形式演绎系统,并讨论了该系统语义的完备性。其目的在于使通常的众多模糊推理系统能够纳入该逻辑系统之中,以便在一个更加广泛的代数和逻辑框架下来研究模糊推理的逻辑基础问题。
<Abstrcat> In this paper, we construct a kind of logic system based on FI-algebras, and discuss the (completeness) of this logic system with respect to the semantics based on FI-algebras. The results in (this) paper provide a new basis for generally studying logic foundations of fuzzy reasoning.
出处
《模糊系统与数学》
CSCD
北大核心
2005年第2期25-29,共5页
Fuzzy Systems and Mathematics
基金
广东省自然科学基金资助项目(02A1073)
广东省高校自然科学研究资助项目(Z02017)
