作者:LIANGJun-qi模糊数学模型理论代数学拓扑
摘要: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 builtin 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 propertics of fuzzy ideals discussed.
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社