Parametric mixed sequent calculus

Simple item page
dc.creatorNour, Karim
dc.creatorLaurent, Olivier
dc.date2009-05-11
dc.date.accessioned2026-07-07T13:13:40Z
dc.date.available2026-07-07T13:13:40Z
dc.descriptionIn 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.
dc.identifierhttps://arxiv.org/abs/0905.1558
dc.identifierhttp://arxiv.org/abs/0905.1558
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/229964
dc.subjectLogic
dc.titleParametric mixed sequent calculus
dc.typetext

Files

Collections

arXiv