A Routley-Meyer type semantics for relevant logics including \(\text B_{\text r}\) plus the disjunctive syllogism
This paper defines a Routley-Meyer semantics for the Routley-Meyer logic B plus the reductio rule and disjunctive syllogism \((\gamma)\) and for a number of extensions of this logic. These include E and R both with \(\gamma\) and Ackermann's logics of `strenge Implikation': the logics \(\Pi\) and \(\Pi'\).
scientific article; zbMATH DE number 5701558
scientific article