Combinator Realizability of a Constructive Morse Set Theory.

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

Keyphrases

set theory
fuzzy set theory
partial order
algebraic geometry
rough sets
first order logic
fuzzy sets
rough set theory
mathematical morphology
morse theory
critical points
knowledge base
temporal logic
image analysis
real world
neural network
databases