The Semantics and Proof Theory of the Logic of Bunched Implications

D J Pym

Research output: Book/ReportBook

Original languageEnglish
PublisherKluwer Academic Publishers
ISBN (Print)1402007450
Publication statusPublished - 2002

Publication series

NameApplied Logic Series
PublisherKluwer Academic Publishers

Cite this

Pym, D. J. (2002). The Semantics and Proof Theory of the Logic of Bunched Implications. (Applied Logic Series). Kluwer Academic Publishers.