The Implication Problem in Quantum Logicдоклад на конференции