Dependency Ordering of Atomic Observables.

The notion of atomic observable was introduced by S.Gudder for effect test spaces in 1997. In this paper an observable is a σ-homomorphism from the Borel algebra on a line to some logic. Roughly, an observable on a logic is atomic, if it is completely determined by its restriction to one-element subsets of its point spectrum. In particular, every discrete observable is atomic. We study some elementary properties of such observables, and discuss a possible notion of functional dependency between them. Algebraically, a dependency is a certain preorder relation on the set of all atomic observables, which induces an order relation on the set of all maximal orthogonal subsets of the logic. Several properties, as well as characteristics in terms of the underlying logic, of these relations are stated. [ABSTRACT FROM AUTHOR]