Modal Theorem Proving: An Equational Viewpoint.
Yves AuffrayPatrice EnjalbertPublished in: J. Log. Comput. (1992)
Keyphrases
- theorem proving
- viewpoint
- first order logic
- inference rules
- automated reasoning
- automated deduction
- modal logic
- theorem prover
- automatic programming
- term rewriting
- parallel search
- decision procedures
- automated theorem proving
- proof procedure
- geometry theorem proving
- consequence finding
- logical inference
- predicate calculus
- equational theories
- search algorithm
- nonmonotonic logics
- proof planning
- computer algebra systems