模糊BIK^+-逻辑与非可换模糊逻辑(英文)

查看全文 作　　者：[1]张小红;Wieslaw A. [2]Dudek

机构地区：[1]宁波大学数学系,浙江宁波315211;[2]InstituteofMathematicsandComputerScience,WroclawUniversityofTechnology

出　　处：《模糊系统与数学》索引2009年第23卷第4期,共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-代数) 素滤子

相关文献

参考文献（33）
引证文献（5）
耦合文献（8）

参考文献(33)

引证文献(5)

耦合文献(8)

互联网出版许可证新出网证(渝)字10号全国400电话 - 免长途话费

模糊BIK^+-逻辑与非可换模糊逻辑(英文)

参考文献(33)

引证文献(5)

耦合文献(8)

用户提示