Interpolation theorems for intuitionistic predicate logic.
Grigori MintsPublished in: Ann. Pure Appl. Log. (2001)
Keyphrases
- predicate logic
- linear logic
- cut elimination
- knowledge representation and reasoning
- sequent calculus
- semantic net
- computational linguistics
- temporal logic
- fuzzy set theory
- formal logic
- semantic network
- predicate calculus
- lower level
- interval valued
- artificial intelligence
- theorem prover
- data mining
- low level
- fuzzy numbers
- natural deduction
- inference rules
- knowledge acquisition
- domain specific
- knowledge representation
- domain knowledge
- data model
- knowledge base
- information retrieval