Parametric mixed sequent calculus
Logic
2009-05-12 v1
Abstract
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.
Cite
@article{arxiv.0905.1558,
title = {Parametric mixed sequent calculus},
author = {Karim Nour and Olivier Laurent},
journal= {arXiv preprint arXiv:0905.1558},
year = {2009}
}