Admissibility of Structural Rules for Extensions of Contraction-Free Sequent Calculi

Roy Dyckhoff, S Negri

Research output: Contribution to journal › Article › peer-review

Access to Document

@article{04c2633f6c98403b981fd20e09ee62cb,

title = "Admissibility of Structural Rules for Extensions of Contraction-Free Sequent Calculi",

author = "Roy Dyckhoff and S Negri",

note = "Print ISSN: 1367-0751 Online ISSN: 1368-9894",

year = "2001",

month = jul,

doi = "10.1093/jigpal/9.4.541",

language = "English",

volume = "9",

pages = "573--580",

journal = "Logic Journal of the IGPL",

publisher = "Oxford University Press",

number = "4",

}

TY - JOUR

T1 - Admissibility of Structural Rules for Extensions of Contraction-Free Sequent Calculi

AU - Dyckhoff, Roy

AU - Negri, S

N1 - Print ISSN: 1367-0751 Online ISSN: 1368-9894

PY - 2001/7

Y1 - 2001/7

UR - http://jigpal.oxfordjournals.org/cgi/reprint/9/4/541

U2 - 10.1093/jigpal/9.4.541

DO - 10.1093/jigpal/9.4.541

M3 - Article

VL - 9

SP - 573

EP - 580

JO - Logic Journal of the IGPL

JF - Logic Journal of the IGPL

IS - 4

ER -