Describes a deductive system that satisfies the variable sharing property, so that whenever is a logical truth (or a theorem), and have at least one propositional variable in common. Motivated by the paradoxes of relevance, relevant logics were formulated by Alan Anderson (1925–1973) and Nuel Belnap (1930– ), drawing on the work of Wilhelm Ackermann (1896–1962) and Alonzo Church (1903–1995). There are several different semantics for relevant logics, but the most popular is the one developed by Richard Sylvan (né Routley) (1935–1996) and Robert Meyer (1932–2009). This is a world-semantics. It uses the Routley star to give the semantics for negation, and a ternary relation, , to give the truth conditions for the conditional, as follows:
• is true at world iff for all worlds, and such that , if is true at , is true at .
The philosophical meaning of the ternary relation is contested. As for the binary accessibility relation of modal logic, putting various constraints on the delivers a variety of different relevant logics.