Furthermore, the author discovered the relations among the classical propositional system, intuitionistic propositional system and paraconsistent propositional system on the ground of negations.

• 此外,还通过否定揭示出经典命题逻辑系统、直觉主义命题逻辑系统和弗协调命题逻辑系统之间的关系。