{"id":"arxiv/2610.20956","url":"https://arxiv.org/abs/2610.20956","tags":["math.LO","math.CT"],"score":0,"title":"Duality Theory for Sequent Algebras","domain":"math.LO","source":"arxiv","authors":["Sergio A. Celani","William Zuluaga"],"reviews":0,"subject":"math.LO","summary":"Sequent algebras were introduced by D. Vakarelov \\cite{VakarelovSequentALg} as a generalization of contact algebras, replacing the binary contact relation with a relation between finite sets of regions and regions. In this paper, we present sequent algebras as Boolean algebras endowed with a finitary closure operator satisfying four conditions. We study the irreducible closed sets of these operators, which coincide with Vakarelov's clans, and use them to develop a topological representation theory for sequent algebras. We introduce the categories of sequent algebras and sequent spaces and…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-14","reactions":{}}