## A formulation of Segal's model for quantum mechanics in terms of a proposition system |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

The Derived Logic | 24 |

Bounded Observables on the Derived Logic | 46 |

The Large Derived Logic and | 71 |

2 other sections not shown

### Common terms and phrases

a,b e algebra Baire functions Baire subsets Boolean sub a-algebra Borel subsets bounded Borel functions bounded observables C*-algebra commutative subsystem compact Hausdorff space compatible observables compatible set compatible subset Conjecture continuous functions contradiction convex hull Corollary corresponding compact Hausdorff countably compatible counterexamples Definition II.1.7 denote disjoint suprema EeB(R embedding exists a compatible expectation values f and g formal product full set functions f given Hilbert space homeomorphic idempotent implies isometric large derived logic lim m(x linearly independent logic axioms norm Note partial order partially ordered set pointwise evaluation positive integral powers Proof properties pure real valued continuous respect result Riesz Representation Theorem scalar multiples Section Segal system Segal's axioms Sherman's example Spectral Theorem structure preserving Suppose Theorem II.1.8 Theorem III.3.1 tion uniformly bounded V-compatible valued continuous functions well-defined in B(X yea(z