沈百英.可换BCK代数的方程系统[J].数学研究及应用,1984,4(4):79~80
可换BCK代数的方程系统
The Equational Systems of Commutative BCK-algebra
投稿时间:1983-11-07  
DOI:10.3770/j.issn:1000-341X.1984.04.020
中文关键词:  
英文关键词:
基金项目:
作者单位
沈百英 南京大学数学系 
摘要点击次数: 1792
全文下载次数: 861
中文摘要:
      
英文摘要:
      In this paper we give three equational systems of commutative BCK-algebra. The first system CBKⅠconsists of the following three identities: ((x·y)·(x·z))·(z·y)=0,x·0=x,x·(x·y)=y·(y·x).The second system CBK Ⅱ consists of the following three identities:0·x=0,x·0=x,(x·y)·(x·z)=(z·y)·(z·x).The third system CBKⅢ consists of the following three identities: x·x=0,x·0=x,(x·y)·(x·z)=(z·y)·(z·x).
查看全文  查看/发表评论  下载PDF阅读器