An invitation to topological structures on first order genuine sets.

Dogan Çoker Mustafa Demirci

Published in: Fuzzy Sets Syst. (2001)

Keyphrases

topological spaces
horn clauses
higher order
first order logic
topological relations
genetic algorithm
connected components
topological features
neural network
artificial intelligence
database systems
topological properties
real numbers
quantifier elimination