Autre Publication Scientifique Année : 2005

Parametric mixed sequent calculus

Karim Nour
Olivier Laurent

Résumé

In this paper, we present a propositional sequent calculus containing disjoint copies of classical and intuitionistic logics. We prove a cut-elimination theorem and we establish a relation between this system and linear logic.
Fichier principal
Vignette du fichier
MLP3.pdf (90.11 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00382689 , version 1 (11-05-2009)

Identifiants

Citer

Karim Nour, Olivier Laurent. Parametric mixed sequent calculus. 2005. ⟨hal-00382689⟩
101 Consultations
56 Téléchargements

Altmetric

Partager

More