Quantum logic and partially ordered abelian groups