Quantum logic and operational quantum mechanics (Q1061124)

We characterize the class of the \(\mu\)-complete F-spaces with unit corresponding to the observables of a quantum logic. We show that, conversely, every \(\mu\)-complete F-space satisfying certain axioms corresponds to a quantum logic. The latter class of F-spaces generalizes that of ''spectral F-spaces'' introduced by E. M. Alfsen and F. W. Shultz and by C. M. Edwards.