剩余格及有界psBCK-代数成为布尔代数的充要条件  

Necessary and Sufficient Conditions for Residuated Lattice and Bounded psBCK-algebra to be Boolean algebra

作　　者：王丽丽[1] 张小红[1] 

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

出　　处：《模糊系统与数学》2010年第5期8-13,共6页Fuzzy Systems and Mathematics

基　　金：国家自然科学基金资助项目(60775038)

摘　　要：研究了一般剩余格(未必可换)与布尔代数的关系,给出剩余格成为布尔代数的一系列充要条件。同时,进一步将这些结果推广到只含有蕴涵运算的有界psBCK-代数中,证明了在一定条件下由psBCK-代数可诱导出有界格且构成布尔代数。The relationship between general residuated lattices（may be not commutative） and the Boolean algebras,some necessary and sufficient conditions for a residuated lattice to be a Boolean algebra are established.Moreover,these results are generalized to bounded psBCK-algebras which only have implication operators.

关 键 词：剩余格 布尔代数 psMTL-代数 psBCK-代数 

分 类 号：O153[理学—数学]