切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
关于BCK代数的模型论性质
关于BCK代数的模型论性质
来源 :河南科学 | 被引量 : 0次 | 上传用户:l420303622163com
【摘 要】
:
研究BCK代数的逻辑性质,对于形式化的BCK代数理论T,证明了在子模型和链连接下T是保存的;T既不具有完备性也不具有模型完备性,因此存在非构建的Skolem函数.另外,通过使用超滤
【作 者】
:
郑淑红
【机 构】
:
商丘职业技术学院
【出 处】
:
河南科学
【发表日期】
:
2008年9期
【关键词】
:
BCK代数
模型完备性
完备性
超积
模糊超积
BCKalgebra model completeness completeness ultraproduct
【基金项目】
:
河南省教育厅基金项目(2007-JKHAG-322)
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
研究BCK代数的逻辑性质,对于形式化的BCK代数理论T,证明了在子模型和链连接下T是保存的;T既不具有完备性也不具有模型完备性,因此存在非构建的Skolem函数.另外,通过使用超滤子的概念以及所讨论的模糊理想的相应的性质,提出了超积BCK代数和BCK代数模糊子集的模糊超积.
其他文献
谢尔炉炭黑—PVC抗静电管材料生产技术研究
本文通过实验,研究了谢尔炉炭黑填充抗静电PVC管材料的生产技术,为PVC管材的生产打下基础。
期刊
谢尔炉炭黑
聚氯乙烯
抗静电
炭黑
生产技术
Shell kiln carbon-black
Antistatic
PVC pipe compound
广东制止1545起违法用地
近日,从广东省国土资源厅获悉,广东省政府督导组通过开展全省卫片检查,截至5月31日共发现违法用地行为1553件,涉及土地面积224公顷;通过巡查制止违法用地行为l545件,制止率99.48%,挽回
期刊
违法用地
广东省
国土资源厅
土地面积
经济损失
省政府
行为
关于几种路由算法的比较
通过几种路由算法在静态和动态的不同模型下的仿真实现,综合对比它们在不同模式下路径选择的差异,从中选出目前解决网络瓶颈的较理想的流量控翻算法.
期刊
实现
路由算法
比较
realization
routing algorithm
compared
碳纤维增强聚苯硫醚的断裂韧性研究
本文通过双悬臂梁(DCB)实验和末端缺口三点弯曲(ENF)实验,研究了碳纤维增强国产聚苯硫醚复合材料的断裂韧性,着重考察了CF/PPS的GIc,GⅡc在不同热处理条件下的变化情况,并对其机理作了分析。研究结果,对
期刊
断裂
韧性
聚苯硫醚
碳纤维
增强
Thermoplastic Composites
Interlaminar fracture toughness
Poly
黏土砖厂死灰复燃坚决关闭毫不手软
近日,汝阳县国土资源局在上店镇、柏树乡、刘店乡政府的积极配合下,对死灰复燃的3家黏土砖厂依法进行了强制性拆除。
期刊
复燃
砖厂
黏土
关闭
国土资源局
汝阳县
强制性
无卤阻燃EVA复合材料阻燃性和力学性能的研究
本文用热分析方法研究了氢氧化铝/ZD(一种有机硅)复合添加剂对EVA阻燃性的影响,并对其力学性能进行了探讨。研究结果表明:掺混工艺对EVA复合材料的力学性能有极大的影响;在本实验的EVA体系中只
期刊
EVA
氢氧化铝
有机硅
防火性
阻燃
Non-halogen Flame-retardent EVA Composite Flame Retardency P
河南省各地区主要作物生态需水研究
结合河南省1951-2003年的气象资料及土壤需水情况,计算出河南省各地区小麦、玉米各生长期的生态需水量、缺水量.结果表明,河南省各地区的小麦、玉米在生长期内都存在缺水现象:小
期刊
生态需水
作物系数
河南省
小麦
玉米
ecologic water requirement
crop coefficient
Henan province
陕县张茅国土资源所:一切为了群众满意
陕县张茅国土资源所自2005年成立以来,紧紧围绕“情系国土,做群众满意的基层国土资源所”这一主题,认真履行职责,取得了较好成绩:连续三年被陕县国土资源局评为“先进单位”;张茅乡
期刊
国土资源所
陕县
文明单位
国土资源局
县政府
县级
pH对真鲷蛋白酶和淀粉酶活力的影响
应用酶学分析研究不同pH度条件下真鲷成鱼胃、肠、肝胰脏和幽门盲囊4个部位蛋白酶和淀粉酶活力的变化。结果表明,真鲷戊鱼胃、肠、肝胰脏和幽门盲囊蛋白酶的最适pH分别为6.4,7.2,7
期刊
真鲷
蛋白酶
淀粉酶
PH
Pagrus major
protease
amylase
pH
掺杂改性对聚苯乙烯性能影响的研究
文章阐述了掺杂烷氧金属的聚苯乙烯的制备以及用红外光谱、扫描电镜和热分析分析其微观结构和热性能的部分研究结果。
期刊
烷氧金属
聚苯乙烯
掺杂
改性
Metal alkoxide Polystyrene Thermal property Adulterate modificat
与本文相关的学术论文