[Zach Weber](https://sites.google.com/site/doctorzachweber/publications) has been working on developing a paraconsistent set theory that can serve as a foundation for mathematics.