Khomskii, Yurii and Hrafn Valtýr Oddsson, Paraconsistent and Paracomplete Zermelo-Fraenkel Set Theory, 2023, arXiv: 2210.00057 [math], pre-published.
web page · https://doi.org/10.48550/arXiv.2210.00057
Khomskii, Yurii and Hrafn Valtýr Oddsson, Paraconsistent and Paracomplete Zermelo-Fraenkel Set Theory, 2023, arXiv: 2210.00057 [math], pre-published.
web page · https://doi.org/10.48550/arXiv.2210.00057