Heyting-valued interpretations for Constructive Set Theory.
Nicola GambinoPublished in: Ann. Pure Appl. Log. (2006)
Keyphrases
- set theory
- valued logic
- first order logic
- fuzzy sets
- fuzzy set theory
- rough sets
- partial order
- rough set theory
- algebraic geometry
- mathematical morphology
- propositional logic
- fuzzy logic
- description logics
- inference rules
- probability theory
- decision trees
- knowledge representation
- probability distribution
- color images
- expert systems
- pattern recognition
- cooperative
- neural network