In this paper, the semantics of a paraconsistent logic and its nonmonotonic ex- tension by minimal inconsistency are presented first. And then signed tableaux for paraconsistent logic and minimal tableau for logic of minimal inconsistency if pro- posed. Finally, the reduction of logic of paraconsistency and minimal inconsistency on ordinary semantics which provides new approach to proof procedure and implementa- tion of paraconsistency and minimal inconsistency are provided.
展开▼
