Quantum logic and operational quantum mechanics

We characterize the class of the μ-complete F-spaces with unit corresponding to the observables of a quantum logic. We show that, conversely, every μ-complete F-space satisfying Axiom I and Axiom II corresponds to a quantum logic. The latter class of F-spaces generalizes that of “spectral F-spaces” introduced by Alfsen and Shultz and by Edwards.