Roy Dyckhoff, Sara Negri. Admissibility of Structural Rules for Contraction-Free Systems of Intuitionistic Logic. Journal of Symbolic Logic, 65(4):1499-1518, 2000.
@article{DyckhoffN00, title = {Admissibility of Structural Rules for Contraction-Free Systems of Intuitionistic Logic}, author = {Roy Dyckhoff and Sara Negri}, year = {2000}, tags = {rule-based, rules, logic}, researchr = {https://researchr.org/publication/DyckhoffN00}, cites = {0}, citedby = {0}, journal = {Journal of Symbolic Logic}, volume = {65}, number = {4}, pages = {1499-1518}, }