论文部分内容阅读
对一种附加量词L（Q）逻辑的一些模型论性质进行了讨论，用构造性证明方法证明了完全理论T和模型完全的一些等价条件，还给出了完全理论T的一种判定定理，为今后对L（Q）逻辑模型论做进一步研究提供了理论基础。
L（Q）逻辑的完全理论
【摘 要】
：
对一种附加量词L（Q）逻辑的一些模型论性质进行了讨论，用构造性证明方法证明了完全理论T和模型完全的一些等价条件，还给出了完全理论T的一种判定定理，为今后对L（Q）逻辑模型论做进一步
【机 构】
：
河北经贸大学信息技术学院
【出 处】
：
河北大学学报：自然科学版
【发表日期】
：
2000年4期
其他文献
根据文[1]中严格下凸函数的定义,将文[2]和文[3]中的有关凸函数常用的不等式进行了归纳,总结成三个定理和八个推论,这些定理和性质前后联贯,一气呵成.文中的不等式不论在理论
<正> 仅有法律授予而无法律保护的权利不能称得上是完整的权利。为了完善著作权人的权利,世界各国都在法律中规定了哪些行为构成侵犯著作权罪,包括对被侵权的著作权人采取何
随着视频无线传输技术在铁路行业中的应用,机车管理部门不仅可以对所辖机车进行实时视频监测,也为事故分析处理提供了高效的技术手段。
With the application of video wire
审稿的质量和效率是影响期刊质量和声誉的重要环节。15年前国际学术期刊界就开始了对审稿工作的世界性研究。随着国内社会科学的迅猛发展，近年来，着手国内社科学术期刊的“建制
当前，关于新闻出版业的人才队伍建设，已受到党中央的高度重视，日前由中组部、中宣部、人事部共同组织，中宣部具体实施的全国宣传文化系统“四个一批”人才培养工程，就是作为宣传文
袁宗道是晚明文坛上“公安三袁”中的长兄，他“稳实”的性格特征使他一方面偏于保守，挣扎在仕与隐的抉择上；另一方面又在个人修养上提倡收敛，在为学上主张“圆通”，对空疏浮泛的晚
国家自然科学奖、技术发明奖和科技进步奖是由国家颁发的奖励，其本质是对科技人员所作出的创造性贡献的肯定与承认。在我国科技奖励中具有很高荣誉和权威。国家科技奖励是国家
广东移动通信有限公司(以下简称广东移动)经过十多年的建设与发展，从无到有，从小到大，截至2005年2月底．GSM网络用户数已达4300多万，稳居全国第一。在满足广东社会经济发展的需要的