76
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 |