Alan Ross Anderson

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.

Anderson and Belnap were quick to observe that the concept of relevance had been central to logic since Aristotle, but had been unduly neglected since Gottlob Frege and George Boole laid the foundations for what would come to be known, somewhat ironically, as "classical" logic.

(For an example of classical logic's failure to satisfy the relevance condition, see the article on the principle of explosion.)

Anderson advocated the view that sentences of the form "It ought to be (the case) that A" should be interpreted logically as: where v means something like a norm has been violated.

He developed systems of deontic relevance logic containing a special constant v (notation varies) for this purpose.