 One should look at the SEP entry on  relevance logic  (also called “relevant logic”) for an introduction to this research program (see the seminal Anderson &amp; Belnap 1975; Anderson, Belnap, &amp; Dunn 1992; and, for a comprehensive introduction, Dunn &amp; Restall 2002). We briefly discuss its connections to hyperintensionality here. Its origins lay in the aim to develop logical systems free from the “paradoxes of the material and strict conditional” discussed above. Another early motivation was to construct a conditional that could represent logical deducibility within the logical language itself.