论文部分内容阅读
可计算性逻辑的形式系统CLA具有强大的表达能力和很好的应用前景，为了进一步完善其理论基础，采用严格的逻辑方法，对该系统中的相关重要定理进行证明。证明过程及其结果显示，该系统中的一般原子表示一般的可计算性问题，在意义上有别于经典逻辑中的原子。
可计算性逻辑中CL4系统定理证明
【摘 要】
：
可计算性逻辑的形式系统CLA具有强大的表达能力和很好的应用前景，为了进一步完善其理论基础，采用严格的逻辑方法，对该系统中的相关重要定理进行证明。证明过程及其结果显示，该系
【机 构】
：
西安邮电学院理学院
【出 处】
：
西安邮电学院学报
【发表日期】
：
2011年5期
其他文献
儒家思想博大精深,对后世影响深远,邓小平在特定历史时期提出的一系列思想与之一脉相承。本文从以德治国与儒家德治思想、共同富裕与儒家富民思想、教育公平与儒家有教无类思
本文通过调研分析江苏省后计划体制以来的电影生产状况，从国家宏观意识形态与政策、江苏本地电影文化特殊性等方面分析了形成的原因，以期对未来江苏省电影事业的繁荣与发展提供
信息技术投资与企业绩效关系的研究一直是国内外理论与实务界关注的焦点。在对国内外有关信息技术投资与企业绩效关系研究文献回顾与整理的基础上，对比分析包括生产函数模型、
运用成本收益分析方法,对电信类企业发展循环经济的成本、收益和风险进行综合分析,提出影响企业循环经济改造的推动和制约因素,结合陕西省电信类企业循环经济发展的现状和问
信息化与工业化融合是新时期我国作出的重大战略决策。从目前陕西省工业化进程、产业结构、产业竞争力等多个视角系统分析了＂两化融合＂的内在动因,指出两化融合是陕西省优化产
不久前，举世瞩目的十八届三中全会在北京顺利闭幕，会上审议通过了《中央关于全面深化改革若干重大问题的决定》，让入耳目一新的是，中国法治建设占据了此次《决定》非常重要的部分
介绍了双金属带材的主要分类、制造方法、应用及发展趋势,明确了固相复合双金属冷复合和热复合工艺方法,均可生产出高质量的热双金属复合材。指出现阶段双金属带材品种不断丰