Abstract: | Defining an addition of the effects in the formalism of quantum mechanics on phase space, we obtain a new effect algebra that is strictly contained in the effect algebra of all effects. A new property of the phase space formalism comes to light, namely that the new effect algebra does not contain any pair of noncommuting projections. In fact, in this formalism, there are no nontrivial projections at all. We illustrate this with the spin-1/2 algebra and the momentum/position algebra. Next, we equip this algebra of effects with the sequential product and get an interpretation of why certain properties fail to hold. PACS: 02.10.Gd, 03.65.Bz. This paper was a submission to the Fifth International Quantum Structure Association Conference (QS5), which took place in Cesena, Italy, March 31–April 5, 2001. |