Characterizing the interpretation of set theory in Martin-Löf typetheory.

Michael Rathjen Sergei Tupailo

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

Keyphrases

set theory
partial order
mathematical morphology
fuzzy set theory
first order logic
rough sets
rough set theory
algebraic geometry
fuzzy sets
binary images
multi dimensional
image processing
computer vision
decision rules
morphological operations
probability theory
real world
real time