Roy Dyckhoff, Sara Negri. Admissibility of Structural Rules for Extensions of Contraction-Free Sequent Calculi. Logic Journal of the IGPL, 9(4):541-548, 2001. [doi]
@article{DyckhoffN01,
title = {Admissibility of Structural Rules for Extensions of Contraction-Free Sequent Calculi},
author = {Roy Dyckhoff and Sara Negri},
year = {2001},
url = {http://www3.oup.co.uk/igpl/Volume_09/Issue_04/#Dyckhoff},
tags = {rule-based, rules},
researchr = {https://researchr.org/publication/DyckhoffN01},
cites = {0},
citedby = {0},
journal = {Logic Journal of the IGPL},
volume = {9},
number = {4},
pages = {541-548},
}