Intuitionistic Sets and Ordinals.

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

Keyphrases

fuzzy numbers
theorem prover
fuzzy set theory
databases
neural network
website
classical logic
information retrieval
data structure
expert systems
linear logic