The logic of partially ordered abelian groups with strong unit