This should be some kind of paraconsistent logic. LInk to Stanford Encyclopedia entry here: http://plato.stanford.edu/entries/logic-paraconsistent/

Would be nice if someone could reference examples of any projects on this.The article points to research on something called inconsistent mathematics.