格蕴涵代数的一个简化公理系  

On a simplified axiomatics of lattice implication algebras

作　　者：朱怡权[1] 曹喜望[1] 

机构地区：[1]黄冈师范学院数学系,湖北黄州438000

出　　处：《黄冈师范学院学报》2000年第3期6-8,共3页Journal of Huanggang Normal University

基　　金：湖北省教委科学研究自然科学类重点项目资助课题 !98A0 67

摘　　要：将格蕴涵代数的公理系由原来的 1 9条公理简化为 7条公理 ,从而为检验一个 (2 ,2 ,2 ,1 ,0 ,0 )We presented a simplified axiomatics of lattice implication algebras,which is convenient to examine whether an algebra of type(2,2,2,1,0,0) becomes a lattice implication algebra.

关 键 词：格蕴涵代数 BCK-代数 FUZZY格 公理系 

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