题名 BIK^+-逻辑与非可换模糊逻辑
被引量：2
1
作者
张小红
机构
宁波大学数学系
出处
《模糊系统与数学》
CSCD
北大核心
2007年第6期31-36,共6页
基金
国家自然科学基金资助项目(60775038) 浙江省自然科学基金资助项目(Y605389)
文摘
引入BIK+-逻辑的概念,证明了BIK+-逻辑的可靠性定理(基于BCC-代数)。同时,研究了BIK+-逻辑与非可换模糊逻辑的关系,说明了各种源于模糊逻辑的代数结构之间的内在联系,并用一个图示表达了这些关系。
关键词
BIK^+-逻辑 bck -逻辑非可换模糊逻辑 BCC-代数
Keywords
BIK^＋-logic bck -logic Non-commutative Fuzzy logic BCC-algebra
分类号
O101
[理学—数学]
O159
[理学—基础数学]
题名 模糊BIK^+-逻辑与非可换模糊逻辑(英文)
被引量：5
2
作者
张小红 Wieslaw A. Dudek
机构
宁波大学数学系 Institute of Mathematics and Computer Science
出处
《模糊系统与数学》
CSCD
北大核心
2009年第4期8-20,共13页
基金
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
文摘
为了建立各种可换和非可换模糊逻辑的公共基础(蕴涵片段),提出了一个新的蕴涵逻辑,称为模糊BIK+-逻辑。证明了这一新的蕴涵逻辑的可靠性和弱完备性定理,同时讨论了模糊BIK+-逻辑与各种模糊逻辑之间的关系,以及与它们配套的代数结构之间的关系。
关键词
模糊bck -逻辑 非可换模糊逻辑 模糊BIK+-逻辑 FBIK+-代数(FBCC-代数) 素滤子
Keywords
Fuzzy bck -logic Non-commutative Fuzzy logic Fuzzy BIK＋-logic FBIK＋-algebra （FBCC-algebra） Prime Filter
分类号
O153
[理学—数学]
