Relevance and paraconsistency - a new approach. II: The formal systems (Q750419)

This paper concerns the logic RMI [introduced by the author in J. Symb. Logic 49, 334-342 (1984; Zbl 0586.03017)]. RMI is essentially the ``semi- relevant'' logic RM [see \textit{A. Anderson} and \textit{N. Belnap}, Entailment. The logic of relevance and necessity. Vol. I (1975; Zbl 0323.02030), esp. p. 341] with restrictions to the principles of adjunction and distributivity which produce relevance. Amongst the things the paper does are: proving soundness and completeness with respect to the algebraic semantics given by the author in part I [J. Symb. Logic 55, No.2, 707-732 (1990; Zbl 0705.03007)]; establishing appropriate deduction and interpolation theorems; giving a multiple-conclusion proof-theory; investigating various sub-logics and extensions. The paper also argues that the properties of RMI make it preferable to more usual relevant logics.