Parametric mixed sequent calculus
classification
🧮 math.LO
keywords
calculussequentclassicalcontainingcopiescut-eliminationdisjointestablish
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.