Characterizations of classical and quantum logics