As simple as this idea appears, implementing it in a formal system requires a radical departure from the semantics of classical logic. Anderson and Belnap (with contributions from J. Michael Dunn, Kit Fine, Alasdair Urquhart, Robert K. Meyer, Anil Gupta, and others) explored the formal consequences of the relevance condition in great detail in their influential Entailment books (see references below), which are the most frequently cited works in the field of relevance logic.
