Distributive Logic and the Negation of Difference

Mark Mullen
University of California, Irvine
ishmael@uci.edu