A Sound and Complete Tableaux Calculus for Reichenbach’s Quantum Mechanics Logic | Publicación