Realization of constructive set theory into explicit mathematics: a lower bound for impredicative Mahlo universe.
Sergei TupailoPublished in: Ann. Pure Appl. Log. (2003)
Keyphrases
- set theory
- lower bound
- upper bound
- partial order
- fuzzy set theory
- first order logic
- mathematical morphology
- branch and bound algorithm
- objective function
- rough sets
- fuzzy sets
- algebraic geometry
- optimal solution
- probability theory
- image processing
- rough set theory
- neural network
- fuzzy logic
- machine learning
- binary images
- inference rules
- belief functions
- morphological operations
- probabilistic model
- artificial neural networks
- databases