Abstract
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.
Citation
Olivier Esser. "A Strong Model of Paraconsistent Logic." Notre Dame J. Formal Logic 44 (3) 149 - 156, 2003. https://doi.org/10.1305/ndjfl/1091030853
Information