Abstract Canonical Inference Systems - Archive ouverte HAL Access content directly
Conference Papers Year : 2002

Abstract Canonical Inference Systems

, (1)
1

Abstract

We provide a general proof theoretical setting under which the so-called ``completion processes'' (as used for equational reasoning) can be modeled, understood, studied, proved and generalized. This framework---based on a well-founded ordering on proofs---allows us to derive saturation processes and redundancy criteria abstractly.
Fichier principal
Vignette du fichier
A02-R-501.pdf (162.13 Ko) Télécharger le fichier

Dates and versions

inria-00107627 , version 1 (19-10-2006)

Identifiers

  • HAL Id : inria-00107627 , version 1

Cite

Nachum Dershowitz, Claude Kirchner. Abstract Canonical Inference Systems. 16th International Workshop on Unification - UNIF'2002, Jul 2002, Copenhagen, Denmark, 20 p. ⟨inria-00107627⟩
138 View
21 Download

Share

Gmail Facebook Twitter LinkedIn More