Type theories, toposes and constructive set theory: predicative aspects of AST.

Ieke Moerdijk Erik Palmgren

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

Keyphrases

set theory
partial order
fuzzy set theory
probability theory
algebraic geometry
mathematical morphology
fuzzy sets
rough sets
real time
first order logic
artificial neural networks
data mining
description logics
computational models
image processing
genetic algorithm
machine learning