论文部分内容阅读
对广义逻辑L(Q)的一种保持性定理给予了证明.
L(Q)逻辑的一种保持性定理
【摘 要】
：
对广义逻辑L(Q)的一种保持性定理给予了证明.
【机 构】
：
河北经贸大学信息技术学院,河北,石家庄,050061
【出 处】
：
山西大学学报（自然科学版）
【发表日期】
：
2004年期
其他文献
广州市城市公交车辆,在经过2004年开始全面推行LPG清洁能源的过程之后,早期投产的LPG车辆,目前大部分已经达到使用年限,而国家近几年在大力提倡和补贴使用电能这一清洁能源车
这一两年随着国家政策的推进、技术瓶颈的突破、"互联网+"等概念的出现,智慧城市日益得到国家和城市管理者的重视,但同时市场也吸引很多投机者,引来诸多不正当竞争。本文将对智慧城市目前建设的一些情况以及安防企业如何在智慧城市建设中实现新业务突破进行介绍与思考。
兰州是历史古城,随着丝绸之路的开通,千百年间,不停断的“丝绸西去、天马东来”的盛况给这一古域沉淀了许多待解之谜。深入古地,追寻自然地理之奥妙在此成了一道充满浓郁特色
请下载后查看，本文暂不支持在线获取查看简介。
Please download to view, this article does not support online access to view profile.
期刊
随着社会主义市场经济体制的确立,国企工会工作环境发生了巨大的变化,这种变化使得原有的工会职能已经不适合国企的发展。而要想推动国企的稳定发展,加快工会职能的转变及创
沈阳自贸区对于沈阳城市社会经济发展有极其重要的作用和意义,要立足于东北老工业基地的原有发展特色和基础,综合考虑和分析沈阳自贸区产业发展的因素,合理确定沈阳自贸区产
【摘要】随着社会经济的持续发展，中国的面貌日新月异，一座座高楼大厦鳞次栉比，中国的建筑行业迎来了事业快速发展的新时期。各个建筑企业在生产经营过程中都离不开工程监理，工程监理能够有效的维护建筑施工中施工人员的安全，能够确保建筑工程的质量問题，同时也可以使建筑企业的工程建造技术得到提升，提高建筑企业的发展潜力。本篇论文根据目前了解的工程监理的实际情况，分析了当前工程监理方面存在的问题，并提出了解决问题