论文部分内容阅读
证明了系统(￡)*n中的可满足性定理,紧致性定理和可判定性定理,完善了系统(￡)*n的理论体系,并将这些性质应用到计量逻辑学中,给出了∑Γ-真度和条件真度存在的充要条件.
系统(￡)*n的逻辑性质及其应用
【摘 要】
：
证明了系统(￡)*n中的可满足性定理,紧致性定理和可判定性定理,完善了系统(￡)*n的理论体系,并将这些性质应用到计量逻辑学中,给出了∑Γ-真度和条件真度存在的充要条件.
【机 构】
：
浙江理工大学理学院
【出 处】
：
高校应用数学学报A辑
【发表日期】
：
2004年期
其他文献
马克思的法伦理思想具有丰厚的理论内涵。在法的伦理根据上,马克思开显了现实本质与理想本质的双重视野;在法的伦理精神上,马克思论证了限制自由与保障自由的双向功能;在法的
目的 克隆人类DCC基因并构建其真核表达载体pIRES2-AcGFPI/DCC.方法 从正常皮肤组织中提取总RNA,采用逆转录-聚合酶链反应(RT-PCR)方法扩增DCC基因全长cDNA(4351bp),克隆人pM
盖格尔运用现象学的理论和方法,通过对审美主体和审美价值的层次以及对应性关系的分析,揭示了美与人类存在不可分割的联系。他认为美学是关于人类存在的最重要的知识,审美所
是伊斯兰教的根本经典,同时也是伊斯兰哲学的源泉和伊斯兰哲学产生的重要标志.中包含着大量的哲学思想,涉及的超越性追求、的当下追求和的自由现等各个方面.对自由的独特理解
本文分析了我国血吸虫病科学研究进展,阐述了当前我国血防工作对科学研究的需求,并提出了在“十二五”期间的研究重点与方向.
威尔豪森在其中提出著名的来源批判理论.本文论述了这一诠释方法提出的背景以及主要内容,也探讨了威尔豪森的来源批判及其对以色列史的重构,评述了威尔豪森之来源批判所面临
目前,学界普遍将生态文明视为继渔猎文明、农业文明和工业文明之后的一种新的文明形态,实际上这种观点未能全面把握生态文明的本质及其在整个人类文明历程中的历史定位.对文
伊朗近代历史上的巴布运动是一次有影响的宗教改革运动.运动虽以失败告终,但作为先驱者,巴布在力主改革、发展、创新过程中,为其后兴起的巴哈伊教信仰体系提供了一个框架.无
在对马克思恩格斯正义思想的研究中,主观正义论与超越正义论是两种很有影响的解读模式。本文对这两种模式提出了质疑,认为它们对马克思恩格斯正义思想的理解并不全面。在此基
本文以2001年以来,以美国乔治敦大学穆斯林-基督徒理解中心为基地的项目展开的美国穆斯林民意调查为基础,从人口统计、宗教实践、对社会和政治事务领域各种行为的看法,以及"9