Investigations into a left-structural right-substructural sequent calculus

Ian Lloyd Humberstone

Research output: Contribution to journalArticleResearchpeer-review

6 Citations (Scopus)
Original languageEnglish
Pages (from-to)141 - 171
Number of pages31
JournalJournal of Logic, Language and Information
Volume16
Issue number2
Publication statusPublished - 2007

Cite this