《悖论逻辑及其表演算》.pdfVIP

V01．21 第21卷增刊 计 算 机 学 报 Suppl． CHINESE 1998年8月 J．COMPUTERS Aug．1998 悖论逻辑及其表演算 林作铨 (北京大学信息科学系北京100871) 摘要悖论逻辑LP是一个超协调逻辑，极小悖论逻辑L巳是一个LP的非单调逻辑扩展．本文 给出了一阶L尸和L尸。的表演算．为此，本文在论证了(极小)悖论逻辑语义性质基础上，首先给出 一个LP的(记号)表演算，然后给出一个LP。的极小表演算，并证明了两个表演算分别对于LP和 LP。语义的可靠与完全性定理． 关键词表演算，超协调逻辑，非单调逻辑，悖论逻辑，极小悖论逻辑． 分类号：TP301