英文
implicative BCK-algebra
简介
比正关联BCK代数条件较强一类BCK代数.若在BCK代数〈X;*，0〉中，
x，y∈X有：x*(y*x)=x，则称X为关联BCK代数.若X是有界关联BCK代数，则〈X;∧，∨〉是布尔代数.若X是BCK代数，则X是关联的当且仅当X是可换的，同时又是正关联的.
关联BCK代数
2023-06-25
数学百科
2023-06-25
implicative BCK-algebra
比正关联BCK代数条件较强一类BCK代数.若在BCK代数〈X;*，0〉中，x，y∈X有：x*(y*x)=x，则称X为关联BCK代数.若X是有界关联BCK代数，则〈X;∧，∨〉是布尔代数.若X是BCK代数，则X是关联的当且仅当X是可换的，同时又是正关联的.