Quantum logical solution to the measurement problem of quantum mechanics

In this paper I propose a reformulation and solution of the measurement problem of quantum mechanics. The reformulation depends on a quantum logical interpretation of quantum mechanics, broadly construed. The solution depends on a theorem about partial Boolean algebras which is proved here.