论文部分内容阅读
限定逻辑是由McCarthy创立的非单调逻辑的一个重要分支.限定逻辑最大的困难在于其算法的设计.基于表列方法,可以给出命题限定逻辑和公式限定逻辑两种形式证明程序.
限定逻辑的表列方法
【摘 要】
：
限定逻辑是由McCarthy创立的非单调逻辑的一个重要分支.限定逻辑最大的困难在于其算法的设计.基于表列方法,可以给出命题限定逻辑和公式限定逻辑两种形式证明程序.
【机 构】
：
中国政法大学人文学院,北京100088
【出 处】
：
2013年全国应用逻辑学术年会
【发表日期】
：
2013年6期
其他文献
采用封闭式问卷调查法、现场询问法以及文献法相结合的调查方式,选取8所以理工科为主的高校进行调查。结果显示：专业因素对人文素质课兴趣的影响不大,而人文素质的认知程度与
经济普查三回子，做好三普有底子，方案敲定印册子，领导鼎力似柱子，信息采集用电子，知识培训到位子，两员入户挂牌子，调查技巧用脑子，数据审后送顶子，保密信息装聋子，经费使用省点子，社会动
2013年我国货物进出口总额突破4万亿美元,用较短的时间实现了举世瞩目的大跨越.但我国对外贸易在出口商品结构、质量、效益、核心技术以及服务贸易发展等诸多方面仍面临不少
大学章程是依法治校的法律基础,近年来全国高校结合实际陆续开始制定和实施自己的大学章程。在大学章程制定和实施背景下,工会如何依法维护教职工权益、使维权落到实处,是当
在信息时代,高校图书馆面临读者大量流失、网络信息安全、服务、内部管理、馆藏资源建设等五方面危机,为应对这些危机,高校图书馆应进行危机管理,具体路径包括：建立危机管理体
随着我国研究生教育的快速发展,学位授权点的数量不断增多,在培养社会高层次人才方面发挥着举足轻重的作用,然而其教育质量问题也随之涌现,在学位授权点开展自我评估具有重要