Figallo-Orellano, A., & Slagter, J. 2020 Aug 26. Models for da Costa’s paraconsistent set theory. Proceedings of the Brazilian Workshop of Logic (WBL). [Online] :