@dblp

A Simple Signed System for Paraconsistent Reasoning.

, and . JELIA, volume 1126 of Lecture Notes in Computer Science, page 404-416. Springer, (1996)

Links and resources

Tags