Batens, D. Propositional Logic Extended With a Pedagogically Useful Relevant Implication. LLP 2013, 23, 245–276.