A Routley-Meyer semantics for relevant logics including TWR plus the disjunctive syllogism
scientific article