Sequent Calculus Viewed Modulo - Archive ouverte HAL Access content directly
Conference Papers Year : 2000

Sequent Calculus Viewed Modulo


The first-order sequent calculus is generally considered as containing no computation but only pure deduction. But this is not completely true if we look at it carefully, using a deduction modulo framework. The origins of the computational part are first implicit behaviours of the calculus, then well known consequences that we do not want to prove any more. We end up with a calculus fully in the spirit of deduction modulo.
Fichier principal
Vignette du fichier
A00-R-256.pdf (238.97 Ko) Télécharger le fichier

Dates and versions

inria-00099056 , version 1 (26-09-2006)


  • HAL Id : inria-00099056 , version 1


Eric Deplagne. Sequent Calculus Viewed Modulo. 12th European Summer School in Logic, Language & Information - ESSLLI'2000 Student Session, FoLLI, 2000, Birmingham, england, 11 p. ⟨inria-00099056⟩
38 View
19 Download


Gmail Facebook Twitter LinkedIn More