75
IRUS TotalDownloads
Altmetric
Labelled Natural Deduction for Substructural Logics
File | Description | Size | Format | |
---|---|---|---|---|
LDSSubstructuralLogic.pdf | default | 394.54 kB | Adobe PDF | View/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 |