Investigations into a left-structural right-substructural sequent calculus

Research output: Contribution to journal › Article › Research › peer-review

Original language	English
Pages (from-to)	141 - 171
Number of pages	31
Journal	Journal of Logic, Language and Information
Volume	16
Issue number	2
Publication status	Published - 2007

Cite this

@article{474caeed27f842e8a33e9f9c94fc2acd,

title = "Investigations into a left-structural right-substructural sequent calculus",

author = "Humberstone, {Ian Lloyd}",

year = "2007",

language = "English",

volume = "16",

pages = "141 -- 171",

journal = "Journal of Logic, Language and Information",

issn = "0925-8531",

publisher = "Springer",

number = "2",

}