Disjunction and Existence Under Implication in Elementary Intuitionistic Formalisms.

Stephen Cole Kleene

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

Keyphrases

fuzzy relations
linear logic
fuzzy set theory
reasoning tasks
logic programming
theorem prover
knowledge representation formalisms
knowledge representation
fuzzy numbers
nonmonotonic reasoning
interval valued
fuzzy sets
complementarity problems
classical logic
fuzzy information
school children