Nonstandard extension of quantum logic and Dirac's bra-ket formalism of quantum mechanics

An extension of the quantum logical approach to the axiomatization of quantum mechanics usingnonstandard analysis methods is proposed. The physical meaning of a quantum logic as a lattice of propositions is conserved by its nonstandard extension. But not only the usual Hubert space formalism of quantum mechanics can be derived from the nonstandard extended quantum logic. Also the Dirac bra-ket quantum mechanics can be derived as a consequence of such an extended quantum logic.