Topological Models for Extensional Partial Set Theory.

Roland Hinnion Thierry Libert

Published in: Notre Dame J. Formal Log. (2008)

Keyphrases

set theory
probabilistic model
partial order
first order logic
real time
information retrieval
cooperative
graphical models
fuzzy set theory