Labelled Natural Deduction for Substructural Logics

File Description SizeFormat 
LDSSubstructuralLogic.pdfdefault394.54 kBAdobe PDFDownload
Title: Labelled Natural Deduction for Substructural Logics
Author(s): Russo, A
Broda, K
Finger, M
Item Type: Journal Article
Publication Date: 1-May-1999
Citation: Logic Journal of the IGPL Vol.( 7 ) No.( 3 ) pp 283 - 318
Publisher Link:
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

Items in Spiral are protected by copyright, with all rights reserved, unless otherwise indicated.

Creative Commons