Generalizing realizability and Heyting models for constructive set theory.

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

Keyphrases

set theory
rough sets
fuzzy set theory
fuzzy sets
rough set theory
first order logic
algebraic geometry
partial order
probabilistic model
mathematical morphology
databases
fuzzy logic
probability distribution
resource allocation
artificial neural networks
computer vision
machine learning