Before revision: For example, the three-valued Logic of Paradox (LP) validates the law of excluded middle , but not the law of non-contradiction, ¬(P ∧ ¬P), and its intended semantics is not bivalent.
After revision: For example, certain logics of vagueness satisfy excluded middle but are not bivalent.