On the definability of the quantifier "there exist uncountably many".

Zarko Mijajlovic

Published in: Stud Logica (1985)

Keyphrases

fixed point
database
high level
propositional logic
fuzzy measures
data sets
pattern recognition
multi agent systems
expert systems