Ground Canonicity

Thumbnail Image

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

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.

Keywords

Logic in Computer Science, F.4.1

Citation

URI

http://salesiana.dossiersoluciones.com/handle/123456789/31522

Consulte el texto completo en el siguiente enlace:

https://arxiv.org/abs/cs/0304017
 http://arxiv.org/abs/cs/0304017

Collections

arXiv