弗协调命题逻辑C_n的判定性问题

On the Decidability of Paraconsistent Propositional Logics Cn

弗协调逻辑,又译作"次协调逻辑"、"超协调逻辑",是非经典逻辑的一个新兴分支。它是一种不能从矛盾推出一切的逻辑理论。论文指出弗协调逻辑的代表系统Cn的可判定方法存在漏洞,并给出了一个修正办法。

Paraconsistent logics, also called ＂subconsistent logics＂ and ＂superconsistent logics＂, is a new branch of the non-classical logics. This paper points out that there is something wrong with the method of decid.ability of paraconsistent logic Cn. The paper gives an amendment.