Computing Publications

Publications Home » Labelled Natural Deduction for Su...

Labelled Natural Deduction for Substructural Logics

Krysia Broda, Marcelo Finger, Alessandra Russo

Journal Article
Logic Journal of the IGPL
Volume 7
Issue 3
Oxford University Press
PDF of full publication (395 kilobytes)
(need help viewing PDF files?)
BibTEX file for the publication
Conditions for downloading publications from this site. built & maintained by Ashok Argent-Katwala.