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

BIK^+-logic and Non-commutative Fuzzy Logics

作　　者：张小红[1] 

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

出　　处：《模糊系统与数学》2007年第6期31-36,共6页Fuzzy Systems and Mathematics

基　　金：国家自然科学基金资助项目(60775038);浙江省自然科学基金资助项目(Y605389)

摘　　要：引入BIK+-逻辑的概念,证明了BIK+-逻辑的可靠性定理(基于BCC-代数)。同时,研究了BIK+-逻辑与非可换模糊逻辑的关系,说明了各种源于模糊逻辑的代数结构之间的内在联系,并用一个图示表达了这些关系。The concept of BIK^＋-logic is introduced. The relationship between BIK^＋-logic and non-commutative fuzzy logic is investigated. Various algebraic systems inspired by fuzzy logics are discussed. Relations between commutative and non-commutative logic are presented graphically.

关 键 词：BIK^+-逻辑 BCK-逻辑 非可换模糊逻辑 BCC-代数 

分 类 号：O101[理学—数学] O159[理学—基础数学]