Bunch theory: Axioms, logic, applications and model

Open Webpage

Bill Stoddart, Steve Dunne, Chunyan Mu, Frank Zeyda

Published: 2024, Last Modified: 11 Sept 2025J. Log. Algebraic Methods Program. 2024EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: Highlights•We extend Abrial's set theory to include bunches.•Our theory resolves problems of partial functions and undefined terms.•We provide a logic, a denotational model and a fixed point theory.•We derive the semantics of an expressive backtracking language.•We give a search heuristic for the Knight's Tour as a case study.