Handbook of Quantum Logic and Quantum Structures