| 关于BCK代数的模型论性质 |
| |
| 作者姓名： | LIANG Jun-qi |
| |
| 作者单位： | DepartmentofMathematics,ShangqiuTeacher＇sCollege,Shangqiu476000,China |
| |
| 摘 要： | 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.
|
| 关 键 词： | 模糊数学 模型理论 代数学 拓扑 |
On the Model Properties of BCK Algebras |
| |
| LIANG Jun-qi.On the Model Properties of BCK Algebras[J].Chinese Quarterly Journal of Mathematics,2004,19(3):300-305. |
| |
| Authors: | LIANGJun-qi |
| |
| Abstract: | 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. |
| |
| Keywords: | BCK algebra mode complete complete ultraproduct fuzzy ultraproduct |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
