Zorn's Lemma and Complete Boolean Algebras in Intuitionistic Type Theories.

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

Keyphrases

fuzzy set theory
real time
theoretical framework
data mining
information retrieval
website
case study
expert systems
spatial reasoning