This is called "paraconsistent logic":
* https://en.wikipedia.org/wiki/Paraconsistent_logic
* https://plato.stanford.edu/entries/logic-paraconsistent/
This is called "paraconsistent logic":
* https://en.wikipedia.org/wiki/Paraconsistent_logic
* https://plato.stanford.edu/entries/logic-paraconsistent/