The admissibility of \(\gamma\) in R4 (Q1203779)

\(R\) is the Anderson-Belnap system of relevant implication; \(NR\) extends \(R\) with a necessity operator and \(S4\)-like postulates for it. \(R4\) is the result of adding the axiom scheme \(\square(A\vee B)\to(\diamondsuit A\vee\square B)\) to \(NR\) to make a system that includes all of \(S4\). The rule \(\gamma\) is the rule of material detachment: From \(\vdash\sim A\vee B\) and \(\vdash A\), to infer \(\vdash B\). In this paper \(\gamma\) is proved admissible in \(R4\). As a corollary it follows that \(R4\) is a conservative extension of \(S4\). The proof of admissibility is by Meyer's method of metavaluations.