E, R AND γ
Robert K. Meyer, Jon Michael Dunn · Journal of Symbolic Logic · 1969
By γ, we mean the rule, “From ├ A and ├ Ā V B, infer ├ B”.1 This rule has played an important and a controversial role in a set of relevant logics free of certain well-known paradoxes of implication, like AĀ-→B and A-→(B-→B). Among these logics we count the pioneering systems of strenge Implikation presented by Ackermann in [1],2 as well as the Anderson-Belnap systems E of entail-ment and R of relevant implication.3