Hilbert-style axiom systems for the matrix-based logics \(\mathrm{RMQ}^-\) and \(\mathrm{RMQ}^\ast\) (Q497423)

The logic \(\mathrm{RMQ}^*\) and \(\mathrm{RMQ}^-\) were introduced in [\textit{P. Weingartner}, Rev. Symb. Log. 2, No. 1, 132--163 (2009; Zbl 1170.03335)] as matrix-based logics for applications in physics. The article under review aims to provide an axiomatization to those logics, as well a comparison with modal and relevance logics. A Hilbert style axiomatization for \(\mathrm{RMQ}^-\) and \(\mathrm{RMQ}^*\) is obtained using a machinery introduced by \textit{A. Rose} and \textit{J. B. Rosser} [Trans. Am. Math. Soc. 87, 1--53 (1958; Zbl 0085.24303)], and the authors also show a completeness theorem. Moreover, for \(\mathrm{RMQ}^*\), the authors also show how to define a consequence relation in terms of the one introduced for \(\mathrm{RMQ}^*\). More details are provided in the appendices. In the last section of the article, the authors discuss the relation between \(\mathrm{RMQ}^-\) and \(\mathrm{RMQ}^*\) and other logics, by showing to what extent \(\mathrm{RMQ}^-\) and \(\mathrm{RMQ}^*\) can be seen as relevance or modal logics.