Herman Weyl's intuitionistic mathematics.

Published in: Bull. Symb. Log. (1995)

Keyphrases

linear logic
fuzzy set theory
computer science
theorem prover
fuzzy numbers
computer algebra
electrical engineering
data sets
classical logic
fuzzy information
interval valued
logical framework
mathematical knowledge
natural deduction
grade students
real valued
expert systems
search algorithm
decision trees