Functional interpretation of Aczel's constructive set theory.

Published in: Ann. Pure Appl. Log. (2000)

Keyphrases

set theory
partial order
rough sets
fuzzy set theory
first order logic
rough set theory
fuzzy sets
algebraic geometry
mathematical morphology
medical images
probability theory
neural network
decision making
artificial neural networks
image processing