75
IRUS Total
Downloads
  Altmetric

Labelled Natural Deduction for Substructural Logics

File Description SizeFormat 
LDSSubstructuralLogic.pdfdefault394.54 kBAdobe PDFView/Open
Title: Labelled Natural Deduction for Substructural Logics
Authors: Russo, A
Broda, K
Finger, M
Item Type: Journal Article
Issue Date: 1-May-1999
Citation: Logic Journal of the IGPL Vol.( 7 ) No.( 3 ) pp 283 - 318
URI: http://hdl.handle.net/10044/1/5996
Publisher Link: http://dx.doi.org/10.1093/jigpal/7.3.283
ISSN: 1367-0751
Publisher: Oxford University Press
Start Page: 283
End Page: 318
Copyright Statement: © 1999 Oxford University Press
Volume: 7
Appears in Collections:Distributed Software Engineering
Logic and Artificial Intelligence
Faculty of Engineering