par Hinnion, Roland ;Libert, Thierry
Référence Notre Dame journal of formal logic, 49, 1, page (39-53)
Publication Publié, 2008
Article révisé par les pairs
Résumé : We state the consistency problem of extensional partial set theory and prove two complementary results toward a definitive solution. The proof of one of our results makes use of an extension of the topological construction that was originally applied in the paraconsistent case. © 2007 by University of Notre Dame.

Documents en relation

DI-fusion