Thierry Libert

Publication Activity (10 Years)

Years Active: 2003-2011
Publications (10 Years): 0

Publications

Thomas Forster, Thierry Libert
An Order-Theoretic Account of Some Set-Theoretic Paradoxes. Notre Dame J. Formal Log. 52 (1) (2011)
Roland Hinnion, Thierry Libert
Topological Models for Extensional Partial Set Theory. Notre Dame J. Formal Log. 49 (1) (2008)
Thierry Libert
Positive Frege and its Scott-style semantics. Math. Log. Q. 54 (4) (2008)
Thierry Libert
Models for a paraconsistent set theory. J. Appl. Log. 3 (1) (2005)
Thierry Libert, Olivier Esser
On topological set theory. Math. Log. Q. 51 (3) (2005)
Roland Hinnion, Thierry Libert
Positive abstraction and extensionality. J. Symb. Log. 68 (3) (2003)