The paper develops a mathematical framework for studying "sequent algebras," a type of algebraic structure originally invented to reason about space and regions. Traditional contact algebras capture the idea of two regions "touching" each other, but sequent algebras generalize this by allowing a relationship between a whole collection of regions on one side and a single region on the other. The authors reframe sequent algebras in a cleaner way, describing them as familiar Boolean algebras (the standard algebra of logic with "and," "or," and "not") equipped with a special operator that combines finitely many inputs and satisfies four natural rules.
The core contribution is a duality theory, which is a powerful mathematical technique that creates a precise dictionary between two very different-looking mathematical worlds. One world consists of sequent algebras, which are purely algebraic objects. The other world consists of "sequent spaces," which are topological objects where points and open sets capture geometric intuition. The authors prove that these two worlds are essentially mirror images of each other, meaning any question about one can be translated into an equivalent question about the other. They also work out how the transformations between objects in each world correspond to each other, and they identify the right notion of "equivalence" within sequent algebras using objects called positive filters and certain special subsets of the associated spaces.
Beyond the duality itself, the paper establishes several structural properties showing that sequent algebras behave very well as a mathematical category. For instance, they prove that limits and colimits always exist, which are technical properties ensuring that constructions like products and quotients can always be carried out. They also show that all the possible sequent structures sitting over a single Boolean algebra form a complete lattice, meaning there is always a well-defined notion of the smallest and largest such structure. Together, these results provide a solid and comprehensive foundation for further study of sequent algebras and their potential applications in spatial reasoning and logic.