悖论逻辑及其表演算  

PARADOXICAL LOGIC AND TABLEAU CALCULUS

作　　者：林作铨[1] 

机构地区：[1]北京大学信息科学系,北京100871

出　　处：《计算机学报》1998年第S1期17-23,共7页Chinese Journal of Computers

基　　金：国家自然科学基金;国家863高科技基金;国家攀登计划资助

摘　　要：修论逻辑LP是一个超协调逻辑，极小悖论逻辑LPm是一个LP的非单调逻辑扩展．本文给出了一阶LP和LPm的表演算．为此，本文在论证了（极小）悖论逻辑语义性质基础上，首先给出一个LP的（记号）表演算，然后给出一个LPm的极小表演算，并证明了两个表演算分别对于LP和LPm语义的可靠与完全性定理．Paradoxical logic LP is a paraconsistent logic. Minimally paradoxical logic LPm is anonmonotonic extension of LP. In this paper, tableau calculus for first-order LP and LPm areprovided. Based on semantic properties of (minimally) paradoxical logic, signed tableaux for LP is firstlypresented. Minimal tableaux for LPm is then proposed. The soundness and completeness of LP andLPm with respect to the semantics are proved, respectively.

关 键 词：表演算 超协调逻辑 非单调逻辑 悖论逻辑 极小悖论逻辑 

分 类 号：TP302[自动化与计算机技术—计算机系统结构]