Tableau Systems for Paraconsistency and Minimal Inconsistency  

作　　者：林作铨 sxx0.math.pku.edu.cn 

出　　处：《Journal of Computer Science & Technology》1998年第2期174-188,共15页计算机科学技术学报（英文版）

摘　　要：In this paper, the sematics of a paraconsistent logic and its nonmonotonic extension by minimal inconsistency are presented first. And then signed tableaux for paraconsistelit logic and minimal tableaux for logic of minimal inconsistency is proposetl. Finally the reduction of logic of paraconsistency and minimal inconsistency on ordinary semantics which provides new approach to proof procedure and implementation of paraconsistency and minimal inconsistency are provided.In this paper, the sematics of a paraconsistent logic and its nonmonotonic extension by minimal inconsistency are presented first. And then signed tableaux for paraconsistelit logic and minimal tableaux for logic of minimal inconsistency is proposetl. Finally the reduction of logic of paraconsistency and minimal inconsistency on ordinary semantics which provides new approach to proof procedure and implementation of paraconsistency and minimal inconsistency are provided.

关 键 词：Tableaux logic of paradox paraconsistent logic minimal inconsistency nonmonotonic logic CIRCUMSCRIPTION 

分 类 号：TP181[自动化与计算机技术—控制理论与控制工程]