论文部分内容阅读
对一种附加量词L(Q)逻辑的一些模型论性质进行了讨论,用构造性证明方法证明了完全理论T和模型完全的一些等价条件,还给出了完全理论T的一种判定定理,为今后对L(Q)逻辑模型论做进一步研究提供了理论基础.
L(Q)逻辑的完全理论
【摘 要】
：
对一种附加量词L(Q)逻辑的一些模型论性质进行了讨论,用构造性证明方法证明了完全理论T和模型完全的一些等价条件,还给出了完全理论T的一种判定定理,为今后对L(Q)逻辑模型论
【机 构】
：
河北经贸大学,信息技术学院,河北,石家庄,050061
【出 处】
：
河北大学学报（自然科学版）
【发表日期】
：
2000年4期
其他文献
为了能对固定化青霉素G酰化酶进行X射线微区分析 ,筛选了能捕捉酶活的合适的底物与捕捉剂的体系 ,青霉素G钠作为底物 ,FeCl3 作为捕捉剂 ,底物经固定化青霉素G酰化酶水解产生
随着越来越多科技型企业的孵化成功、成长壮大，科技企业孵化器作为“转方式、调结构”这一宏大历史使命“排头兵”的作用越来越凸现，从中央到地方各级政府对孵化器在新兴产业、
创新型经济，是依靠知识、人才、科技、文化等创新要素驱动发展的经济。科技企业孵化器作为区域创业创新体系的重要部分，对集聚科技人才、促进科技成果转化、培育创新型经济，推动
企业信息系统所面临的环境一直处于变化之中,因此企业信息系统应该是一个动态的系统.结合一个企业的信息系统开发提出了一个基于Internel的企业MIS的两层结构逻辑模型,使信息
实验表明:1.将水螅体横切为“头”段-胃腔段-胃腔柄段,无论是同一个体将胃腔段翻转180°后穿接,还是同种二个体间互换胃腔段翻转180°后穿接,大多能愈合为正常水螅,出芽顺序
对于在企业Intranet下构建基于CORBA的新型信息系统的层次及其优势作出分析,着重讨论其中的网络集成应用服务器的核心地位.然后说明应用实践开发步骤,并例示了网络集成应用服
研究了在酸性介质中痕量钒 (Ⅴ )催化KIO3 氧化变色酸及抗坏血酸体系的反应和动力学条件 ,建立了催化动力学光度法测定痕量钒 (Ⅴ )的新方法.该方法的检出限为0.04μg/L ,线
2019年10月19-20日,第10届统计水文学国际研讨会( STAHY 2019 )在河海大学举行. 河海大学党委书记唐洪武教授,中国工程院和英国皇家工程院张建云院士,湖北省科协主席郭生练教
期刊