A System for Paraconsistent Reasoning | AMiner