Ground Canonicity
classification
💻 cs.LO
keywords
differentorderingsproofsaturationcanonicitycompletioneliminationexplore
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.