Persistence Of Termination For Term Rewriting Systems With Ordered Sorts

Munehiro Iwami
2007 Zenodo  
A property is persistent if for any many-sorted term rewriting system , has the property if and only if term rewriting system , which results from by omitting its sort information, has the property. Zantema showed that termination is persistent for term rewriting systems without collapsing or duplicating rules. In this paper, we show that the Zantema's result can be extended to term rewriting systems on ordered sorts, i.e., termination is persistent for term rewriting systems on ordered sorts
more » ... thout collapsing, decreasing or duplicating rules. Furthermore we give the example as application of this result. Also we obtain that completeness is persistent for this class of term rewriting systems.
doi:10.5281/zenodo.1081045 fatcat:e5elhfr6knewvcjvlmo7htjere