Routley-Meyer type ternary relational semantics are defined for relevant logics including Routley and Meyer’s basic logic B plus the reductio rule \( \vdash A\rightarrow \lnot A\Rightarrow \vdash \lnot A\) and the disjunctive syllogism. Standard relevant logics such as E and R (plus γ) and Ackermann’s logics of ‘strenge Implikation’ Π and Π′ are among the logics considered.
['Gemma Robles', 'José Manuel Gómez y Méndez']
A Routley-Meyer Type Semantics for Relevant Logics Including Br Plus the Disjunctive Syllogism