论文部分内容阅读
将带广义量词Q的一阶逻辑的二值弱模型推广到取值于完备弱可补格上.对有限的线性序弱可补格,讨论了关于L(Q)模型的初等子模型的一些性质,如强升和强降L-S-T定理,初等图像在初等扩充下的保持性等.
L（Q）格值模型的初等子模型
【摘 要】
：
将带广义量词Q的一阶逻辑的二值弱模型推广到取值于完备弱可补格上.对有限的线性序弱可补格,讨论了关于L(Q)模型的初等子模型的一些性质,如强升和强降L-S-T定理,初等图像在初
【机 构】
：
北京林业大学基础科学与信息工程学院,北京大学计算机科学与技术系
【出 处】
：
北京大学学报：自然科学版
【发表日期】
：
2001年5期
【基金项目】
：
国家自然科学基金，国家重点基础研究发展计划(973计划)
其他文献
心血管疾病是全球性的重大公共卫生问题,全球每年约有1 700万人死于心血管疾病,其中有3/4以上可归于吸烟、高血压和高胆固醇血症[1]。心血管疾病死亡率高,但在美国、加拿大等
地震和钻井资料揭露的孔西构造带前第三系潜山的地质特征可以归纳为:构造带总体上不对称;构造带内部有地层重复现象; 石炭-二叠系地层的位置明显高于两侧的同一地层的高度.用
用放射性核素＾１９８Ａｕ示踪法研究了季铵盐十四烷基二甲基苄基氯化铵（ＴＤＭＢＡ）从碱性氰化液中萃取金，考察了水相金浓度、助溶剂含量、萃取时间、季铵盐与ＫＡｕ（ＣＮ）２摩尔比值ｎｒ等因素对萃取率的影响，并研究了有
经济状况、消费观念、余暇时间等因素是制约体育消费的主要因素,制定合理价格、树立正确的消费观念、增加体育消费设施、提高体育消费市场的服务质量是发展沈阳市体育消费市
人力资源开发与管理已经成为一个世界性的课题,而人力资源的配置是其关键的一环.文章运用文献资料等方法,通过对我国竞技体育人力资源配置方式的比较、配置方式的演变、选择
石珊瑚是现代最重要的造礁动物,在地质史的过去和现在都非常重要.石珊瑚的起源一直是珊瑚研究中颇有争议的重大问题:石珊瑚究竟是起源于古生代的皱壁珊瑚、一种石珊瑚形珊瑚,
目的：观察不同剂量舒芬太尼对全麻患者拔管期血浆肾素、皮质醇、血压、心率和拔管时间的影响。方法：选择择期全麻下行上腹部手术患者120例,ASA I～II级,随机分为4组（n=30）,A组为对
本文从塑造城市文化品牌的角度,分析了徐州城市文化品牌发展现状及问题,根据徐州城市文化品牌本身塑造的特性,提出了具体的对策建议,以求为徐州城市文化品牌的构建提供一些具
在简要介绍Σ-ΔADC基本原理的基础上,分析了Σ-Δ调制器的噪声特性,并对调制器自上而下的设计方法做了介绍.结合实际的性能要求,重点对模拟电路部分设计中的关键以及设计方