Replacement and Collection in Intuitionistic Set Theory.
Nicolas D. GoodmanPublished in: J. Symb. Log. (1985)
Keyphrases
- set theory
- fuzzy set theory
- fuzzy sets
- rough set theory
- fuzzy logic
- rough sets
- first order logic
- partial order
- algebraic geometry
- interval valued
- linear logic
- mathematical morphology
- probability theory
- fuzzy numbers
- theorem prover
- machine learning
- image analysis
- artificial neural networks
- decision making
- computer vision