Mathematics – Logic
Scientific paper
2009-05-11
Mathematics
Logic
Scientific paper
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.
Laurent Olivier
Nour Karim
No associations
LandOfFree
Parametric mixed sequent calculus does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Parametric mixed sequent calculus, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Parametric mixed sequent calculus will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-701078