An Addendum: Disjunction and Existence Under Implication in Elementary Intuitionistic Formalisms.
Stephen Cole KleenePublished in: J. Symb. Log. (1963)
Keyphrases
- fuzzy relations
- linear logic
- logic programming
- theorem prover
- semantics of logic programs
- interval valued
- functional dependencies
- nonmonotonic reasoning
- fuzzy set theory
- reasoning tasks
- classical logic
- knowledge representation
- fuzzy sets
- data sets
- neural network
- logic programs
- expert systems
- computational properties
- bayesian networks
- data mining