An Intuitionistic Predicate Logic Theorem Prover.
Dan SahlinTorkel FranzénSeif HaridiPublished in: J. Log. Comput. (1992)
Keyphrases
- theorem prover
- predicate logic
- automated reasoning
- knowledge representation and reasoning
- theorem proving
- automated theorem proving
- first order logic
- inference rules
- term rewriting
- formal logic
- natural deduction
- semantic network
- computational linguistics
- temporal logic
- formal proof
- predicate calculus
- mathematical knowledge
- lower level
- order sorted
- reasoning systems
- proof search
- higher level
- artificial intelligence
- boolean algebra
- natural language processing
- probabilistic model
- information retrieval