A sound and complete tableaux calculus for Reichenbach's quantum mechanics logic

DOI10.1007/s10992-023-09730-7OpenAlexW4388796542MaRDI QIDQ6150668

Pablo Valencia, Pablo Caballero

Publication date: 9 February 2024

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10992-023-09730-7

zbMATH Keywords

three-valued logicfirst degree entailmentsemantic tableauxindeterminatecausal anomalyReichenbach's quantum mechanics logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Generalizing functional completeness in Belnap-Dunn logic
• Reichenbach and the logic of quantum mechanics
• Hans Reichenbach on the logic of quantum mechanics
• 40 years of FDE: an introductory overview
• An algebraic view of super-Belnap logics
• A criterion of fullness of many-valued systems of propositional logic
• Foundations of quantum mechanics. An exploration of the physical meaning of quantum theory
• Philosophy of Physics
• An infinity of super-Belnap logics
• The Semantics of First Degree Entailment
• THE PRINCIPLE OF ANOMALY IN QUANTUM MECHANICS
• THE LATTICE OF SUPER-BELNAP LOGICS
• Revisiting Reichenbach's logic

This page was built for publication: A sound and complete tableaux calculus for Reichenbach's quantum mechanics logic