BIK+-逻辑与非可换模糊逻辑

BIK+-逻辑与非可换模糊逻辑

引入BIK+-逻辑的概念,证明了BIK+-逻辑的可靠性定理(基于BCC-代数).同时,研究了BIK+-逻辑与非可换模糊逻辑的关系,说明了各种源于模糊逻辑的代数结构之间的内在联系,并用一个图示表达了这些关系.

作 者： 张小红 ZHANG Xiao-hong   作者单位： 宁波大学,数学系,浙江,宁波,315211  刊 名： 模糊系统与数学  ISTIC PKU 英文刊名： FUZZY SYSTEMS AND MATHEMATICS  年，卷(期)： 2007 21(6)  分类号： O101 O159  关键词： BIK+-逻辑   BCK-逻辑   非可换模糊逻辑   BCC-代数  

【BIK+-逻辑与非可换模糊逻辑】相关文章：

命题模糊逻辑系统中公式的理论可证度04-28

运动干涉检测的模糊逻辑控制04-26

基于模糊逻辑的组合导引律04-28

论决策中的逻辑思维与非逻辑思维04-26

修辞论辩与非形式逻辑04-28

道义逻辑、行动逻辑和规范逻辑04-28

基于模糊球的模糊逻辑系统及其逼近性质04-26

模糊逻辑代数的Loomis-Sikorski表现定理04-26

基于模糊逻辑的高性能融合制导研究04-30

非形式逻辑的核心概念:论证04-29