 |
PREUVES, PROGRAMMES et SYSTÈMES |  |
|
PREUVES, PROGRAMMES et SYSTÈMES | |
| HAL : hal-00382689, version 1 |
| arXiv : 0905.1558 |
| Fiche détaillée |  Récupérer au format |
 |
|
|
| Parametric mixed sequent calculus |
|
|
| Karim Nour 1Olivier Laurent 2 |
|
|
| (2005) |
|
|
|
| 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. |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | Laboratoire de Mathématiques (LAMA) |
|
|
|
CNRS : UMR5127 – Université de Savoie |
|
|
| 2 : | Preuves, Programmes et Systèmes (PPS) |
|
|
|
CNRS : UMR7126 – Université Paris VII - Paris Diderot |
|
|
|
|
|
|
|
|
|
| Domaine | : | Mathématiques/Logique |
|
|
|
|
| hal-00382689, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00382689 | |
| oai:hal.archives-ouvertes.fr:hal-00382689 | |
| Contributeur : Karim Nour | |
| Soumis le : Lundi 11 Mai 2009, 08:48:01 | |
| Dernière modification le : Lundi 11 Mai 2009, 08:49:24 | |
