A Problem on the Variety of BCK-algebras  

出　　处：《Chinese Quarterly Journal of Mathematics》1993年第1期68-71,共4页数学季刊（英文版）

摘　　要：The purpose of this note is to solve the following problem proposed by W.H.Cornish[2] in 1982:Whether the variety of implicative BCK-algebras is 2-based.Our answer is affirmative.This va-riety is 2-based and an equational base containing only three vaviables is given by(1) x*(0*y)=x;(2)(x*z)*(x*y)=(y*z)*(y*x))*(x*y).

关 键 词：BCK代数簇 基 蕴涵 可交换 

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