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