 De Morgan algebras are not the only plausible way to generalize Boolean algebras.Another way is to keep ¬"x" ∧ "x" = 0 (i.e.the law of noncontradiction) but to drop the law of the excluded middle and the law of double negation.