Abstract
Just as the propositional assumptions in a sequent may be structured as bunches, supporting the distinction between additive and multiplicative connectives, so the collection of (first-order) variables over which such a sequent is formed may be structured as bunches of variables. With variables structured as bunches, each connective may be formulated either with additive maintenance of variables or with multiplicative maintenance of variables. So, just as explicit control of the structural rules at the propositional level decomposes conjunction and implication into additive and multiplicative parts, so explicit control of the structural rules in the formation of terms further decomposes each predicate connective into additive and multiplicative parts. We describe this idea here using a single-sorted version of predicate BI. We suppress the details of function symbols and the formation of terms. For simplicity in this introduction, we work with bunches of variables without types.
Some of the content of Part II has appeared in [O’Hearn and Pym, 1999, Pym, 1999, Ishtiaq and Pym, 1998, Ishtiaq and Pym, 1999, Ishtiaq and Pym, 2000, Ishtiaq and Pym, 2001, ArmelIn and Pym, 2001]. References are given in the text as appropriate.
—DJP
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Pym, D.J. (2002). Introduction to Part II. In: The Semantics and Proof Theory of the Logic of Bunched Implications. Applied Logic Series, vol 26. Springer, Dordrecht. https://doi.org/10.1007/978-94-017-0091-7_10
Download citation
DOI: https://doi.org/10.1007/978-94-017-0091-7_10
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-6072-3
Online ISBN: 978-94-017-0091-7
eBook Packages: Springer Book Archive