| 沈百英.可换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 |
| 中文关键词: |
| 英文关键词: |
| 基金项目: |
|
| 摘要点击次数: 1777 |
| 全文下载次数: 858 |
| 中文摘要: |
| |
| 英文摘要: |
| 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阅读器 |
|
|
|
