Some new intuitionistic equivalents of Zorn's Lemma.

Published in: Arch. Math. Log. (2003)

Keyphrases

linear logic
fuzzy set theory
johnson lindenstrauss
interval valued
fuzzy numbers
theorem prover
classical logic
fuzzy information
fuzzy sets
pattern recognition
natural deduction
high level
real valued
database
learning algorithm
machine learning
fuzzy relations
data mining
real world
real time