BCK代数的模型论性质

关于BCK代数的模型论性质

研究BCK代数的逻辑性质,对于形式化的BCK代数理论T,证明了在子模型和链连接下T是保存的;T既不具有完备性也不具有模型完备性,因此存在非构建的Skolem函数,另外,通过使用超滤子的概念以及所讨论的模糊理想的相应的性质,提出了超积BCK代数和BCK代数模糊子集的模糊超积.

作 者： 郑淑红 Zheng Shuhong   作者单位： 商丘职业技术学院,河南,商丘,476000  刊 名： 河南科学  ISTIC 英文刊名： HENAN SCIENCES  年，卷(期)： 2008 26(9)  分类号： O211.6  关键词： BCK代数   模型完备性   完备性   超积   模糊超积  

【BCK代数的模型论性质】相关文章：

相对论平均场模型对奇-偶超重核基态性质的系统研究04-26

论礼仪的性质和作用04-27

多变量离散灰色模型及其性质04-27

准素理想的商运算及其代数簇的性质04-26

GIS数据模型的模糊性质及操作算法04-26

变系数模型小波估计的渐近性质04-26

《再论经典测量平差模型间的内在联系》的研究04-27

带正则变化尾误差的函数系数自回归模型的概率性质04-26

逆步李代数g(A)的导子代数04-26

Z-代数格和Z-代数交结构04-26