A Strong Model of Paraconsistent Logic
Olivier Esser · Notre Dame Journal of Formal Logic · 2003
The purpose of this paper is mainly to give a model of paraconsistent logic satisfying the "Frege comprehension scheme" in which we can develop standard set theory (and even much more as we shall see). This is the continuation of the work of Hinnion and Libert.