Return to Article Details A non-transitive relevant implication corresponding to classical logic consequence Download Download PDF