Krysia Broda, Marcelo Finger, Alessandra Russo. Labelled Natural Deduction for Substructural Logics. Logic Journal of the IGPL, 7(3):283-318, 1999. [doi]
@article{BrodaFR99,
title = {Labelled Natural Deduction for Substructural Logics},
author = {Krysia Broda and Marcelo Finger and Alessandra Russo},
year = {1999},
url = {http://www3.oup.co.uk/igpl/Volume_07/Issue_03/#Broda},
tags = {logic},
researchr = {https://researchr.org/publication/BrodaFR99},
cites = {0},
citedby = {0},
journal = {Logic Journal of the IGPL},
volume = {7},
number = {3},
pages = {283-318},
}