“Paraconsistent logic” or “paraconsistent set theory” is what you are searching for.