We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:


References & Citations

DBLP - CS Bibliography


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Logic in Computer Science

Title: Bunch theory: working notes on applications, axioms and models

Abstract: In his book "A practical theory of programming" Eric Hehner proposes and applies a remarkably radical reformulation of set theory, in which the collection and packaging of elements are seen as separate activities. This provides for unpackaged collections, referred to as "bunches". Bunches allow us to reason about non-determinism at the level of terms, and, very remarkably, allow us to reason about the conceptual entity "nothing", which is just an empty bunch (and very different from an empty set). This eliminates mathematical "gaps" caused by undefined terms. We compare the use of bunches with other approaches to this problem, and we illustrate the use of bunch theory in formulating program semantics which combines non-deterministic, preferential, and probabilistic choice. We show how an existing axiomatisation of set theory can be extended to incorporate bunches, and we provide and validate a model. Standard functions are lifted when applied to a bunch of values, but we also define a wholistic function application which allows whole bunches to be accepted as arguments, and we develop its associated fixed point theory.
Comments: 67 pages, 1 figure. key words: set theory, bunch theory, denotational model, program semantics, non-deterministic choice, preferential choice, probabilistic choice. Revised paper, Jan 2020, reformulation of axiom of choice, revised comments on refinement, corrected precedence table, note on parsing quantified formulae
Subjects: Logic in Computer Science (cs.LO)
Cite as: arXiv:1911.04344 [cs.LO]
  (or arXiv:1911.04344v2 [cs.LO] for this version)

Submission history

From: Bill Stoddart [view email]
[v1] Mon, 11 Nov 2019 15:35:02 GMT (43kb)
[v2] Fri, 24 Jan 2020 18:09:00 GMT (676kb,D)

Link back to: arXiv, form interface, contact.