## Abstract

We begin this chapter by defining the state space of a general logic. We examine the geometric structure of the state space and use it to define the notions of pure states, mixtures of states, and physical properties. Next we define an observable on a logic, allowing us to consider physical experiments whose outcome sets are more general than the finite subsets of ℜ we saw in Chapter 1. We shall be guided by Lemma 1B.10, however, when we define the expected value of an observable as the integral of the identity function on ℜ with respect to a measure determined by a state on the logic.

## Keywords

Hilbert Space State Space Pure State Projection Operator Operational Logic
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

## Preview

Unable to display preview. Download preview PDF.

## Copyright information

© Springer-Verlag New York Inc. 1989