作 者: ;
机构地区: 北京大学
出 处: 《计算机学报》 1998年第S1期17-23,共7页
摘 要: 修论逻辑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.
关 键 词: 表演算 超协调逻辑 非单调逻辑 悖论逻辑 极小悖论逻辑
领 域: [自动化与计算机技术] [自动化与计算机技术]