Logic and Partially Ordered Abelian Groups

David J. Foulis

The unit interval in a partially ordered abelian group with order unit forms an interval effect algebra (IEA) which can be regarded as an algebraic model for the semantics of a for…