文献类型：期刊文章

作　　者：林作铨[1] 李未[1]

机构地区：[1]汕头大学计算机科学研究所

出　　处：《软件学报》

基　　金：国家自然科学基金;国家863高技术计划与李嘉诚学术基金;国家基础研究攀登计划资助

年　　份：1996

卷　　号：7

期　　号：6

起止页码：345-353

语　　种：中文

收录情况：AJ、BDHX、BDHX1992、CSA、CSA-PROQEUST、CSCD、CSCD2011_2012、EI(收录号：1996473348306)、IC、INSPEC、JST、MR、SCOPUS、ZGKJHX、ZMATH、核心刊

摘　　要：悖论逻辑ＬＰ是一个超协调逻辑，发展超协调逻辑（ＬＰ）的目的是使得不会从矛盾推出任一命题，但它有一个主要缺点：就是一些在经典逻辑中有效的推理在ＬＰ中不再有效；极小悖论逻辑ＬＰｍ能克服这个缺点，使得在没有矛盾的直接影响下超协调逻辑等价于经典逻辑．ＬＰ和ＬＰｍ原来都只给出语义定义，虽然已有ＬＰ的证明论，但如何得到一个ＬＰｍ的证明论仍是一个未解问题．本文提出了一种可靠与完全的表演算作为ＬＰ与ＬＰｍ的证明论．

关 键 词：表演算  超协调逻辑 悖论逻辑  计算机

分 类 号：TP301]