Inaccessibility in Constructive Set Theory and Type Theory.
Michael RathjenEdward R. GrifforErik PalmgrenPublished in: Ann. Pure Appl. Log. (1998)
Keyphrases
- set theory
- partial order
- fuzzy set theory
- algebraic geometry
- boolean algebra
- mathematical morphology
- rough sets
- first order logic
- rough set theory
- fuzzy sets
- probability theory
- gray scale
- theoretical framework
- image denoising
- image processing
- natural images
- fuzzy logic
- association rules
- data analysis
- cooperative
- decision trees