A Sound and Complete Tableaux Calculus for Reichenbach's Quantum Mechanics Logic

Pablo Caballero, Pablo Valencia. A Sound and Complete Tableaux Calculus for Reichenbach's Quantum Mechanics Logic. J. Philosophical Logic, 53(1):223-245, February 2024. [doi]

Abstract

Abstract is missing.