Abstract

The quantum mechanical no-cloning theorem for pure states is generalized and transfered to the quantum logics with a conditional probability calculus. This is, on the one hand, an extension of the classical probability calculus and, on the other hand, a mathematical generalization of the Lueders - von Neumann quantum measurement process. In the non-classical case, a very special type of conditional probability emerges, describing the probability for the transition from a past event to a future event independently of any underlying state. This probability results from the algebraic structure of the quantum logic only and is invariant under algebraic morphisms, which is used to prove the generalized no-cloning theorem in a rather abstract, though simple and basic fashion without relying on a tensor product construction as required in other approaches.