On bunched logic:
Peter O'Hearn, David J. Pym, The Logic of Bunched Implications, The Bulletin of Symbolic Logic 5 2 (1999) 215-244 [pdf, doi:10.2307/421090]
David Pym, The Semantics and Proof Theory of the Logic of Bunched Implications, Applied Logic Series 26, Springer (2002) [doi:10.1007/978-94-017-0091-7, GoogleBooks]
Created on March 24, 2023 at 17:08:03. See the history of this page for a list of all contributions to it.