Realizability and recursive set theory.

Charles McCarty

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

Keyphrases

set theory
first order logic
partial order
rough sets
fuzzy set theory
mathematical morphology
rough set theory
fuzzy sets
algebraic geometry
fuzzy logic
probability theory
databases
machine learning
computer vision
pattern recognition
inference rules