2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/229964In 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.Logictext