Popper and the logic of quantum mechanics