 Various ways have been proposed to develop a quantum logic which rejects the distributive laws while saving as much as possible of classical logic. One way discussed by Dummett (1978) (who was not a proponent of quantum logic) involves restricting the elimination rule for disjunction so that the distributive laws are no longer derivable (see Humberstone 2011: 298–302 and 918–922 for more details). Arguably more natural characterizations of quantum logic use algebraic semantics and probability theory (see the entry  quantum logic and probability theory).