An Approach to Nondeterminism in Translation of CZ Set Theory into Martin-Löf 's Theory of Types.
Hassan HaghighiSeyed-Hassan Mirian-HosseinabadiPublished in: Electron. Notes Theor. Comput. Sci. (2006)
Keyphrases
- set theory
- algebraic geometry
- partial order
- first order logic
- rough sets
- fuzzy set theory
- rough set theory
- mathematical morphology
- boolean algebra
- fuzzy sets
- data mining
- description logics
- neural network
- machine translation
- knowledge discovery
- propositional logic
- decision theory
- multiscale
- probability theory
- decision making
- artificial intelligence