The generalised type-theoretic interpretation of constructive set theory.

Peter Aczel Nicola Gambino

Published in: J. Symb. Log. (2006)

Keyphrases

set theory
partial order
first order logic
fuzzy set theory
real time
rough set theory
mathematical morphology
fuzzy sets
probability theory
algebraic geometry
pattern recognition
data analysis
computational intelligence