论文部分内容阅读
研究BCK代数的逻辑性质,对于形式化的BCK代数理论T,证明了在子模型和链连接下T是保存的;T既不具有完备性也不具有模型完备性,因此存在非构建的Skolem函数.另外,通过使用超滤子的概念以及所讨论的模糊理想的相应的性质,提出了超积BCK代数和BCK代数模糊子集的模糊超积.
关于BCK代数的模型论性质
【摘 要】
：
研究BCK代数的逻辑性质,对于形式化的BCK代数理论T,证明了在子模型和链连接下T是保存的;T既不具有完备性也不具有模型完备性,因此存在非构建的Skolem函数.另外,通过使用超滤
【机 构】
：
商丘职业技术学院
【出 处】
：
河南科学
【发表日期】
：
2008年9期
【基金项目】
：
河南省教育厅基金项目（2007-JKHAG-322）
其他文献
近日，从广东省国土资源厅获悉，广东省政府督导组通过开展全省卫片检查，截至5月31日共发现违法用地行为1553件，涉及土地面积224公顷；通过巡查制止违法用地行为l545件，制止率99．48％，挽回
通过几种路由算法在静态和动态的不同模型下的仿真实现，综合对比它们在不同模式下路径选择的差异，从中选出目前解决网络瓶颈的较理想的流量控翻算法．
结合河南省1951-2003年的气象资料及土壤需水情况，计算出河南省各地区小麦、玉米各生长期的生态需水量、缺水量．结果表明，河南省各地区的小麦、玉米在生长期内都存在缺水现象：小