次协调逻辑下的自动推理

AUTOMATIC REASONING IN PARA-CONSISTENT LOGIC

引进了一套次协调逻辑系统──注解逻辑的线性归结方法后，在探讨的过程中提出了若干命题，并用一个推理实例表明在该系统中产生次协调性后，仍然可以进行正常的推理．

In this paper we introduce a liner resolution method of annotate logic in a kind of paraconsistent logic system and discuss it, and then present several propositions. Furthermore we use a reasoning example to illustrate that if a para--consistence occurs in this logic system, it does not obstruct normal reasoning.