论文部分内容阅读
对通常的典范模型方法加以改造，在典范结构的基础上，可建立相对于任意给定有穷公式集Г的Г-典范框架和Г-典范模型，以证明M的框架类完全性。Г-典范模型方法是有穷方法。如果Г有穷，得到的典范模型有穷。这不仅可以证明M的完全性，还可证明M的有穷模型性，因此M是可判定的。
常识推理基础逻辑系统M的完全性
【摘 要】
：
对通常的典范模型方法加以改造，在典范结构的基础上，可建立相对于任意给定有穷公式集Г的Г-典范框架和Г-典范模型，以证明M的框架类完全性。Г-典范模型方法是有穷方法。如果Г
【机 构】
：
北京大学哲学系,美国德州大学哲学系
【出 处】
：
西南师范大学学报：人文社会科学版
【发表日期】
：
2006年1期
【基金项目】
：
教育部人文社会科学研究“十五”规划第一批研究资助项目（0LJB720003）.项目主持人：周北海
其他文献
阐述了地方文献中民主党派资料的特征和价值,论述了收集范围、方法和途径,提出了开发和利用的建议。
分析了音乐图书馆的现状及存在的问题,从艺术高校读者的阅读特点及心理特征进行研究,对图书馆员所具备素质提出具体要求,探讨了艺术高校服务工作中的人文关怀。
针对长气管的时滞特性问题，进行了基于滑模控制的具有长气管的比例阀控气缸位移伺服控制系统的特性研究。在建立比例阀控气缸系统、气缸摩擦力及长气管的数学模型的基础上，采用
提出了一种应用于人体内腔细小管道的新型螺旋式微型机器人。该机器人能巧妙利用其机体不同旋向的内外螺旋槽在液体环境中作不同方向的高速旋转，实现其悬浮式快速运行。在模拟
近年来，黄山市依托自身优势，乡村旅游呈现出良好的发展态势，但仍存在一些丞待解决的问题。推动黄山市乡村旅游深度开发，应在规划设计、基础设施建设、管理水平、品牌建设等方面加
针对大学物理实验课教学的现状，结合高校理科物理学专业对普通物理实验教学的基本要求，以努力培养创新人才为目的，讨论了教学模式、教学方法、教学内容和实验考核的改革设想；提倡
分析了网络环境下用户信息需求的特点以及数字图书馆个性化信息服务的类型,结合当前我国数字图书馆开展的个性化信息服务实例,提出＂以用户为中心＂的服务理念,探讨了提高我国数