摘要
为了建立各种可换和非可换模糊逻辑的公共基础(蕴涵片段),提出了一个新的蕴涵逻辑,称为模糊BIK+-逻辑。证明了这一新的蕴涵逻辑的可靠性和弱完备性定理,同时讨论了模糊BIK+-逻辑与各种模糊逻辑之间的关系,以及与它们配套的代数结构之间的关系。
In order to establish the common foundation （implicational fragment） of various commutative and non-commutative fuzzy logics, the new implicative logic, called a fuzzy BIK＋-logic, is proposed. For this new fuzzy logic the soundness theorem and the weak completeness theorem are proved. Next, basing on the relationship between fuzzy BIK＋-logic and various fuzzy logic systems some algebraic systems induced by fuzzy logics are characterized.
出处
《模糊系统与数学》
CSCD
北大核心
2009年第4期8-20,共13页
Fuzzy Systems and Mathematics
基金
National Natural Science Foundation of China(Grant No.60775038)
Ningbo Natural Science Foundation of China(Grant No.2009A610078)
K.C.Wang Magna Fund in Ningbo University
