| 关于BCK代数的模型论性质 |
| |
| 引用本文： | 郑淑红.关于BCK代数的模型论性质[J].河南科学,2008,26(9). |
| |
| 作者姓名： | 郑淑红 |
| |
| 作者单位： | 商丘职业技术学院,河南,商丘,476000 |
| |
| 摘 要： | 研究BCK代数的逻辑性质,对于形式化的BCK代数理论T,证明了在子模型和链连接下T是保存的;T既不具有完备性也不具有模型完备性,因此存在非构建的Skolem函数.另外,通过使用超滤子的概念以及所讨论的模糊理想的相应的性质,提出了超积BCK代数和BCK代数模糊子集的模糊超积.
|
| 关 键 词： | BCK代数 模型完备性 完备性 超积 模糊超积 |
On the Model of Nature of BCK Algebras |
| |
| Zheng Shuhong.On the Model of Nature of BCK Algebras[J].Henan Science,2008,26(9). |
| |
| Authors: | Zheng Shuhong |
| |
| Institution: | Zheng Shuhong (Shangqiu Vocational & Technical College,Shangqiu 476000,Henan China) |
| |
| Abstract: | In this paper, the logic of nature of BCK algebra, the formal algebra theory formalization of BCK T, prove that the T exists under the child model and the chain link, and that T neither complete nor a model of completeness, then the existence of non-construction of the Skolem function. Besides, through the use of ultrafiltration and discussed the concept of fuzzy ideals of the nature of the corresponding proposed and I bring forward Ultra-plot BCK algebra and fuzzy Ultra-plot of BCK algebra. |
| |
| Keywords: | BCK algebra model completeness completeness ultraproduct fuzzy ultraproduct |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
