Decompositions in Quantum Logic