Abstract Canonical Inference Systems - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2002

Abstract Canonical Inference Systems


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)


  • HAL Id : inria-00107627 , version 1


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


Gmail Facebook Twitter LinkedIn More