欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
为了建立各种可换和非可换模糊逻辑的公共基础（蕴涵片段），提出了一个新的蕴涵逻辑，称为模糊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.
同期刊论文项目
同项目期刊论文
期刊信息
位置：