论文部分内容阅读
建立了格值逻辑的正规性概念，证明了具有强特征式的有限可补格上的一阶格值逻辑是正规逻辑，并证明了Fraise定理在其上成立．
数理逻辑与数学基础有限可补格上的一阶格值逻辑几个性质
【摘 要】
：
建立了格值逻辑的正规性概念，证明了具有强特征式的有限可补格上的一阶格值逻辑是正规逻辑，并证明了Fraise定理在其上成立．
【机 构】
：
华北电力大学数理系,不详
【出 处】
：
中国学术期刊文摘
【发表日期】
：
2008年9期
其他文献
目的了解2003年1月-2005年12月临床住院患者送检的各类标本分离出的大肠埃希氏菌、铜绿假单胞菌，金黄色葡萄球菌的耐药性及变化趋势。方法采用Kirby—Bauer纸片扩散法进行药敏
Quisi是一种测量、记录并加以自动分析的便携式睡眠脑电新技术．介绍了德国近期有关Quisi在精神科研究中的应用资料，包括问题的提出、何谓Quisi、原理与方法、Quisi与经典PSG比
目的探讨临床应用高频电波刀治疗宫颈疾病的临床意义。方法对临床中通过妇检、细胞学检查、活检诊断为宫颈疾病的病人46例开展高频电波刀切除宫颈病灶或锥切宫颈病灶，术后创面
细胞的染色体DNA损伤监控和修复机制[统称为DNA损伤反应（DNA damage response，DDR）机制]和染色体末端的端粒保护机制是维护基因组稳定性的两大重要机制。这两个进化上高度保守的
目的观察老年患者术后应用病人自控镇痛(Patient-ContvolledAnalgesia.PCA)出现谵妄的情况,以更好地提供护理措施。方法对12例老年患者术后应用PCA镇痛出现谵妄进行原因分析,
介绍了矿山地震和瓦斯突出等煤矿灾害及成因，并通过若干煤矿瓦斯突出和矿山地震的同震现象，论述了这些灾害在动力过程中的内在关系．这些震例表明，在高瓦斯煤矿，矿山地震与瓦斯突出
目的评价盐酸曲马多缓释片(奇迈特)治疗骨科术后疼痛的临床疗效与耐受性。方法在骨科病房选择术后疼痛的成人病例共31例,服用奇迈特,根据疼痛控制程度和副反应调整剂量。观察
目的探讨超声诊断先天性胎儿畸形的价值.方法回顾分析84例先天性胎儿畸形的产前超声情况.结果84例畸形儿中,产前超声检查确诊为胎儿畸形70例,总检出率83%（70/84）.产前超声未检
目的 评价螺旋CT平扫对输尿管结石诊断的价值.方法150例患者行腹盆部非增强螺旋CT平扫.结果150例非增强螺旋CT诊断输尿管结石病人中术后确诊输尿管结石或排出结石144例,诊断
目的研究窒息新生儿血浆β-内啡肽（β-EP）的含量，探讨它与新生儿窒息及窒息后脑损伤的关系。方法采用放射免疫分析法测定37例窒息新生儿及12例健康新生儿血浆β-EP含量，同时行头