TY - JOUR T1 - Relevant Implication and the Weak Deduction Theorem JF - Studia Logica Y1 - 1987 A1 - Batens, Diderik VL - 46 SP - 239–245 ER -