Relevant logics (Relevance logics)

Logics of relevance (and necessity): logic of entailment E, relevant logics R and RM. Variable sharing property. Algebraic semantics. Frame semantics: modelling implication with a ternary relation.