On the Model Properties of BCK Algebras  

作　　者：LIANGJun-qi 

机构地区：[1]DepartmentofMathematics,ShangqiuTeacher＇sCollege,Shangqiu476000,China

出　　处：《Chinese Quarterly Journal of Mathematics》2004年第3期300-305,共6页数学季刊（英文版）

摘　　要：This paper is devoted to the study of the logical properties of BCK algebras. For formalized BCK algebra theory T, it is proved that T is preserved under submodels and unions of chains; T is neither complete nor model complete, and hence there exist no built-in Skolem function. Moreover, the ultraproduct BCK algebras and the fuzzy ultraproduct of fuzzy subsets of BCK algebras were proposed by using the concept of ultrafilters with corresponding properties of fuzzy ideals discussed.

关 键 词：BCK algebra mode complete COMPLETE ULTRAPRODUCT fuzzy ultraproduct 

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