A Strongly Normalising Curry-Howard Correspondence for IZF Set Theory.

Alexandre Miquel

Published in: CSL (2003)

Keyphrases

set theory
partial order
first order logic
rough sets
fuzzy set theory
rough set theory
mathematical morphology
fuzzy sets
algebraic geometry
genetic algorithm
decision making
multiscale
data structure
pattern recognition
data analysis
artificial neural networks