On an implication connective of RM (Q1088648)

This paper contains a wealth of results about the quasi-relevance-logic R-mingle of J. M. Dunn and S. McCall [cf. \textit{A. R. Anderson} and \textit{N. D. Belnap jun.}: Entailment. The logic of relevance and necessity. Vol. 1 (1975; Zbl 0323.02030)]. The central theme is the definition in RM of an almost material conditional \(A\supset B\) as (A\(\to B)\vee B\). Deduction and modified interpolation theorems are proved for \(\supset\). The subsystem \(RM_{{\tilde \supset}}\) is axiomatized as a rather messy negative extension of the positive implicational calculus. Although \(\vee\) is not definable in \(RM_{{\tilde \supset}}\), \(A\to B\) is definable as \(\sim (A\supset B)\supset \sim (B\supset A)\). \(RM_{{\tilde \supset}}\) is proved complete in the sense that any indeducibility in an extension of \(RM_{{\tilde \supset}}\) closed under modus ponens and substitution is refutable by a finite Sugihara matrix. Upon the addition of natural axioms for \(\vee\), \(RM_{{\tilde \supset}}\) becomes equivalent to RM again. Upon the addition of \(\sim A\supset (A\supset B)\), \(RM_{{\tilde \supset}}\) collapses into the classical propositional calculus. The author points out that \(\supset\) as here defined has most of the properties one might expect of a paraconsistent conditional connective.