Dear Spiral user, We’re pleased to introduce Helix, https://helix.imperial.ac.uk/ Imperial’s new repository for research datasets. Please use Helix for all future dataset deposits. There is no change to Spiral -continue depositing as usual. For queries, contact the Research Data Management team at rdm-enquiries@imperial.ac.uk. Kind regards, the Spiral Team.
 
Labelled Natural Deduction for Substructural Logics
File(s)
Author(s)
Russo, A
Broda, K
Finger, M
Type
Journal Article
Date Issued
1999
Citation
Logic Journal of the IGPL, 1999, 7 (3), pp.283-318
URI
URL
ISSN
1367-0751
Publisher
Oxford University Press
Start Page
283
End Page
318
Journal / Book Title
Logic Journal of the IGPL
Volume
7
Issue
3
Copyright Statement
© 1999 Oxford University Press
License URL
Source Volume Number
7