On Gabbay's Proof of the Craig Interpolation Theorem for Intuitionistic Predicate Logic.
Michael MakkaiPublished in: Notre Dame J. Formal Log. (1995)
Keyphrases
- predicate logic
- linear logic
- theorem prover
- interactive theorem proving
- natural deduction
- knowledge representation and reasoning
- semantic net
- formal logic
- logic programming
- temporal logic
- automated reasoning
- theorem proving
- predicate calculus
- cut elimination
- semantic network
- fixed point
- computational linguistics
- fuzzy set theory
- lower level
- inference rules
- knowledge representation
- interval valued
- sequent calculus
- information retrieval
- fuzzy relations
- first order logic
- information sources
- logical formulas
- logic programs
- object oriented