On the logical structure of quantum mechanics

Abstract

Croc lattices are of central importance in the mathematical foundation of quantum mechanics. They reflect the structure of the logical calculus of propositions concerning microphenomena. In this context, the mathematical consequences resulting from the special structure of the lattice are of particular interest. Beginning with the notion of hemimorphism of a croc lattice, we get, in a natural way, an extension of the structure of the lattice by the Baer *-semigroup. We embed the Baer *-semigroup in an algebra with generalized *- and ′-operations and prove some theorems as consequences of the particular properties of the underlying croc lattice.