New Directions in Relevant Logic