Ground Canonicity
Abstract
We explore how different proof orderings induce different notions of saturation. We relate completion, paramodulation, saturation, redundancy elimination, and rewrite system reduction to proof orderings.
- Publication:
-
arXiv e-prints
- Pub Date:
- April 2003
- DOI:
- 10.48550/arXiv.cs/0304017
- arXiv:
- arXiv:cs/0304017
- Bibcode:
- 2003cs........4017D
- Keywords:
-
- Logic in Computer Science;
- F.4.1