Mechanizing Set Theory: Cardinal Arithmetic and the Axiom of Choice.
Lawrence C. PaulsonKrzysztof GrabczewskiPublished in: CoRR (1996)
Keyphrases
- set theory
- partial order
- fuzzy set theory
- first order logic
- mathematical morphology
- algebraic geometry
- rough sets
- fuzzy sets
- rough set theory
- inference rules
- information retrieval
- probability theory
- neural network
- binary images
- real world
- description logics
- computational intelligence
- image analysis
- image processing
- morphological operations