论文信息 - A Strong Model of Paraconsistent Logic

A Strong Model of Paraconsistent Logic

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. © 2004 University of Notre Dame.

Olivier Esser

[1] Olivier Esser,et al. On the axiom of extensionality in the positive set theory , 2003, Math. Log. Q..

[2] Olivier Esser. Mildly Ineffable Cardinals and Hiperuniverces , 2003, Reports Math. Log..

[3] Diderik Batens,et al. A Rich Paraconsistent Extension Of Full Positive Logic , 2004 .

[4] Thierry Libert. ZF and the axiom of choice in some paraconsistent set theories , 2003 .

[5] Marco Forti,et al. The Consistency Problem for Positive Comprehension Principles , 1989, J. Symb. Log..

[6] Olivier Esser. An Interpretation of the Zermelo-Fraenkel Set Theory and the Kelley-Morse Set Theory in a Positive Theory , 1997, Math. Log. Q..

[7] Société mathématique de Belgique. Bulletin de la Société mathématique de Belgique , 1947 .

[8] Furio Honsell,et al. A General Construction of Hyperuniverses , 1996, Theor. Comput. Sci..

[9] Olivier Esser. On the Consistency of a Positive Theory , 1999, Math. Log. Q..