Parametric mixed sequent calculus

Karim Nour (1) , Olivier Laurent (2)

1 LAMA - Laboratoire de Mathématiques
2 PPS - Preuves, Programmes et Systèmes

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.

Domaines: Logique [math.LO]

Karim Nour, Olivier Laurent. Parametric mixed sequent calculus. 2005. ⟨hal-00382689⟩