An Automated Theorem Prover for Relational Logic (Abstract).
Charles G. MorganPublished in: TABLEAUX (1992)
Keyphrases
- theorem prover
- automated reasoning
- natural deduction
- automated theorem proving
- higher order logic
- computer algebra
- proof search
- boolean algebra
- theorem proving
- inference rules
- first order logic
- term rewriting
- relational databases
- predicate calculus
- modal logic
- formal proof
- proof planning
- formal semantics
- propositional dynamic logic
- proof procedure
- relational data
- data model
- mathematical knowledge
- data mining
- timed automata
- set theory
- reasoning tasks
- multi valued
- sequent calculus