Quantum Logics and Ideal Measurements of the First-kind