Return to Article Details A Rejection System for the First-Degree Formulae of some Relevant Logics Download Download PDF