An Intuitionistic Completeness Theorem for Intuitionistic Predicate Logic.
Wim VeldmanPublished in: J. Symb. Log. (1976)
Keyphrases
- predicate logic
- linear logic
- fuzzy set theory
- theorem prover
- interval valued
- knowledge representation and reasoning
- order sorted
- fuzzy numbers
- fuzzy information
- formal logic
- semantic network
- classical logic
- predicate calculus
- natural deduction
- temporal logic
- fuzzy sets
- general purpose
- semantic net
- expert systems
- knowledge base