论文部分内容阅读
讨论格值一阶逻辑系统LF（X）中带广义量词的α-归结,证明了带广义量词的Herbrand-定理,为格值一阶逻辑系统中带广义量词的不确定性自动推理作了理论的准备。
格值一阶逻辑系统LF（X）中带广义量词的α-归结原理
【摘 要】
：
讨论格值一阶逻辑系统LF（X）中带广义量词的α-归结,证明了带广义量词的Herbrand-定理,为格值一阶逻辑系统中带广义量词的不确定性自动推理作了理论的准备。
【机 构】
：
四川师范大学数学与软件科学学院,西南民族大学电信学院,西南财经大学数学系
【出 处】
：
模糊系统与数学
【发表日期】
：
2008年5期
其他文献
国家审计“免疫系统”功能就是预防、揭示、抵御经济社会运行中的各种障碍、矛盾和风险的能力。本文在“免疫系统”的功能定位等审计理论的基础上，从国有企业审计工作实际出发
目前我市的村级集体经济组织绝大部分完成了社区股份合作制改造,各方面制度也比较完善,有董事会、监事会、董事长、监事长等,产权变得清晰,权责得到明确。从这个意义上讲,一
<正> 一 金庸的武侠小说创作至《鹿鼎记》嘎然而止,留给他的热心读者一片遗憾,也留下一丝迷惑:武侠创作正如日中天的作者为何会陡然间金盆洗手,笑别江湖?而略涉该作,人们又马
目的评价幽门螺杆菌(H.pylori)感染与偏头痛的关系。方法计算机检索中国生物医学文献(CBM)、中国知网、万方数据知识服务平台、维普网、Pub Med、EMBase等数据库,筛选有关H.p
可持续发展是人类发展观的一大飞跃，它包括资源生态环境的可持续发展，经济的可持续发展、社会的可持续发展。在西北地区、生态环境的可持续 具有特殊重要意义。实施西部大开发
随着高校的扩招、就业制度的深入改革及受经济全球化的影响,大学生就业工作面临着诸多情况和新问题。一方面是,用人单位在不断提高对求职者综合素质的要求,另一方面大学生就
ＧＢＨ是基于图形的超媒体模型。ＧＢＨ定义的两类图形是它的核心与基础。知识的表达、关系的链接及信息的浏览都依赖这两种图。无论从系统结构这是应用系统角度看，它都是一个三层结构模型。除了可以用于一般目的的ＧＢＨ普通版外，ＧＢＨ还有一些专业版，如科学版、军事版、地籍版。
地震灾害的危害性是比较突出的,在地震危害中进行灾害应急救援也是比较关键的一个方面,在这种应急救援过程中,必须要加强对于这些救援人员的安全防护,避免这些人出现安全事故
当前，内部控制已经成为了企业管理的核心手段，是企业必不可少的环节。然而，内部控制在企业运行过程中还存在许多的问题未得到解决，尤其随着市场的开放，加剧了企业内部风险发生率，并