Admissibility of structural rules for extensions of contraction-free sequent calculi

DOI10.1093/jigpal/9.4.541zbMath0985.03049OpenAlexW2052192715MaRDI QIDQ2743638

Roy Dyckhoff, Sara Negri

Publication date: 13 May 2002

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/668c672714967a0b7c959cf1a90572eb6d672268

zbMATH Keywords

cut eliminationintuitionistic logicconservativityapartnesscontraction-freestructural ruleapplied sequent calculus

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Subsystems of classical logic (including intuitionistic logic) (03B20) Intuitionistic mathematics (03F55)

Related Items

Contraction-free Proofs and Finitary Games for Linear Logic