par Esser, Olivier 
Référence Notre Dame journal of formal logic, 44, 3, page (149-156)
Publication Publié, 2003
Référence Notre Dame journal of formal logic, 44, 3, page (149-156)
Publication Publié, 2003
Article révisé par les pairs
| Résumé : | 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. |
