Functional properties of quantum logics