Hilbert-style axiom systems for the matrix-based logics RMQ^- and RMQ^

DOI10.1007/S11225-015-9602-7MaRDI QIDQ497423zbMATH OpenOpenAlexWikidataFDO

Authors Albert J. J. Anglberger, Jonathan Lukic

Publication date 24 September 2015

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11225-015-9602-7

zbMATH Keywords

many-valued logicquantum logicrelevance logicRMQ

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Many-valued logic (03B50) Quantum logic (03G12)

Review text

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.

Recommendations

• Hilbert-style axiomatization of first-degree entailment and a family of its extensions
• scientific article; zbMATH DE number 1975400
• MATRIX-BASED LOGIC FOR APPLICATION IN PHYSICS
• A constructive analysis of RM
• Relevance and paraconsistency - a new approach. II: The formal systems

Cites work

• An alternative propositional calculus for application to empirical sciences
• Axiom schemes for m-valued propositions calculi
• Basis logic for application in physics and its intuitionistic alternative
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 755666 (Why is no real title available?)
• scientific article; zbMATH DE number 3073052 (Why is no real title available?)
• MATRIX-BASED LOGIC FOR APPLICATION IN PHYSICS

Cited in

(1)

• MATRIX-BASED LOGIC FOR APPLICATION IN PHYSICS

This page was built for publication: Hilbert-style axiom systems for the matrix-based logics \(\mathrm{RMQ}^-\) and \(\mathrm{RMQ}^\ast\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q497423)