Simultaneous Observability and the Logic of Quantum Mechanics.
James C. T. Pool · Defense Technical Information Center (DTIC) · 1963
The axiomatization of quantum mechanics formu lated by G. W. Mackey is based on several physically plausible axioms. Heuristic inter pretations of the properties of the collection of all observabe quantities and the collection of all states of a physical system motivate these axioms. The axioms characterize a logi cal structure consisting of a sigma-orthocom plete, orthomodular, orthocomplemented, par tially ordered set, called a logic, and a sigma convex, sufficient set of probability gages on the logic. The elements of the logic, called questions, are interpreted as mathematical con structs representing the experimental proposi tions concerning the physical system, while each probability gage represents a possible state of the physical system. (Author)