quantum logics