Return to Article Details The RM paraconsistent refutation system Download Download PDF