Rudimentary and arithmetical constructive set theory.

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

Keyphrases

set theory
partial order
fuzzy set theory
first order logic
mathematical morphology
fuzzy sets
rough sets
probability theory
algebraic geometry
image processing
rough set theory
case based reasoning
description logics
morphological operations