Quantum logic by Mittelstaedt