Simple axiomatizations for pretabular classical relevance logics (Q2307305)

\(\mathbf{KR}\) is an extension of Anderson and Belnap's relevance logic \(\mathbf{R}\) with classical axiom (\(p \ \& \ \sim p) \to q\) and it is called classical relevance logic. A logic is pretabular if it is not a logic of any finite logical matrix, but each of its proper extension can be defined by a finite matrix. \(\mathbf{KR}\) has precisely two pretabular extension: the logics \(\mathcal{L}\) and \(\mathcal{M}\) [\textit{A. Fallahi}, Stud. Log. 106, No. 1, 191--214 (2018; Zbl 1437.03096)]. The paper offers different (with and without propositional constants relative to \(\mathbf{KR}\)) axiomatizations of the logic \(\mathcal{L}\), as well as different axiomatizations of the logic \(\mathcal{M}\). In the final sections, the Routly-Meyer semantics for the logics \(\mathcal{L}\) and \(\mathcal{M}\) are considered, and some open problems are formulated.