Topological Models for Extensional Partial Set Theory
Hinnion, Roland ; Libert, Thierry
Notre Dame J. Formal Logic, Tome 49 (2008) no. 1, p. 39-53 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
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.
Publié le : 2008-01-15
Classification:  partial set theory,  paraconsistent set theory,  extensionality,  03E35,  03E70,  03E99,  03C30 
@article{1199649899,
     author = {Hinnion, Roland and Libert, Thierry},
     title = {Topological Models for Extensional Partial Set Theory},
     journal = {Notre Dame J. Formal Logic},
     volume = {49},
     number = {1},
     year = {2008},
     pages = { 39-53},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1199649899}
}

Hinnion, Roland; Libert, Thierry. Topological Models for Extensional Partial Set Theory. Notre Dame J. Formal Logic, Tome 49 (2008) no. 1, pp.  39-53. http://gdmltest.u-ga.fr/item/1199649899/