Combining Type Theory and Untyped Set Theory.

Published in: IJCAR (2006)

Keyphrases

set theory
partial order
first order logic
fuzzy set theory
algebraic geometry
mathematical morphology
rough sets
fuzzy sets
boolean algebra
rough set theory
probability theory
sequential patterns
morphological operations
propositional logic
data mining
decision rules
binary images
image analysis
genetic algorithm