On Weak Completeness of Intuitionistic Predicate Logic.
Georg KreiselPublished in: J. Symb. Log. (1962)
Keyphrases
- predicate logic
- order sorted
- knowledge representation and reasoning
- formal logic
- temporal logic
- semantic net
- linear logic
- computational linguistics
- predicate calculus
- interval valued
- semantic network
- theorem prover
- lower level
- fuzzy numbers
- fuzzy information
- machine learning
- relational databases
- high level
- artificial intelligence