D-algebras

A D-algebra is a generalization of a D-poset in which a partial order is not assumed. However, if a D-algebra is equipped with a natural partial order, then it becomes a D-poset. It is shown that D-algebras and effect algebras are equivalent algebraic structures. This places the partial operation for a D-algebra on an equal footing with the partial operation for an effect algebra. An axiomatic structure called an effect stale-space is introduced. Such spaces provide an operational interpretation for the partial operations and . Finally, a relationship between effect-state spaces and torsion free interval effect algebras is demonstrated.