Sequent Calculus Viewed Modulo - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2000

Sequent Calculus Viewed Modulo

Abstract

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)

Identifiers

  • HAL Id : inria-00099056 , version 1

Cite

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
22 Download

Share

Gmail Facebook X LinkedIn More