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

DOI10.1007/S11225-015-9602-7zbMATH Open1358.03035OpenAlexW1967517408WikidataQ114017385 ScholiaQ114017385MaRDI QIDQ497423

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

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Basis logic for application in physics and its intuitionistic alternative
• An alternative propositional calculus for application to empirical sciences
• MATRIX-BASED LOGIC FOR APPLICATION IN PHYSICS
• Axiom schemes for m-valued propositions calculi

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