A Characterisation of Medial as Rewriting Rule - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year :

A Characterisation of Medial as Rewriting Rule


Medial is an inference rule scheme that appears in various deductive systems based on deep inference. In this paper we investigate the properties of medial as rewriting rule independently from logic. We present a graph theoretical criterion for checking whether there exists a medial rewriting path between two formulas. Finally, we return to logic and apply our criterion for giving a combinatorial proof for a decomposition theorem, i.e., proof theoretical statement about syntax.
Fichier principal
Vignette du fichier
CharMedial.pdf (199.58 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

inria-00165997 , version 1 (31-07-2007)


  • HAL Id : inria-00165997 , version 1


Lutz Strassburger. A Characterisation of Medial as Rewriting Rule. RTA 2007, Jun 2007, Paris, France. ⟨inria-00165997⟩
175 View
63 Download


Gmail Facebook Twitter LinkedIn More