A Normalizing Intuitionistic Set Theory with Inaccessible Sets.
Wojciech MoczydlowskiPublished in: Log. Methods Comput. Sci. (2007)
Keyphrases
- set theory
- fuzzy set theory
- fuzzy sets
- first order logic
- partial order
- mathematical morphology
- rough set theory
- algebraic geometry
- fuzzy logic
- rough sets
- neural network
- fuzzy numbers
- pattern recognition
- data structure
- theorem prover
- information retrieval
- co occurrence
- image segmentation
- knowledge base
- real world
- boolean algebra