A Routley-Meyer type semantics for relevant logics including \(\text B_{\text r}\) plus the disjunctive syllogism (Q965858): Difference between revisions

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'\).