non-transitive relevant implication corresponding to classical logic consequence. - Peter Verdée; Inge De Bal; Aleksandra Samonek (Australas. J. Log., 2019)