lamda-Z: Zermelo's Set Theory as a PTS with 4 Sorts.

Alexandre Miquel

Published in: TYPES (2004)

Keyphrases

set theory
fuzzy set theory
first order logic
partial order
rough sets
rough set theory
mathematical morphology
algebraic geometry
pattern recognition
fuzzy sets
image analysis
case based reasoning
description logics
probability theory