{"id":"arxiv/2601.01418","url":"https://arxiv.org/abs/2601.01418","tags":["math.LO"],"score":0,"title":"Towards a Simplified Theory of Double Boolean Algebras: Axioms and Topological Representation","domain":"math.LO","source":"arxiv","authors":["Prosenjit Howlader","Leonard Kwuida","Mike Behrisch","Churn-Jung Liau"],"reviews":0,"subject":"math.LO","summary":"Double Boolean algebras (dBas), introduced by Wille, are based on twenty-three identities. We present a simplified axiom system, the D-core algebra, and prove it is equivalent to Wille's original definition. This reduction allows improved structural results, including a refined Boolean representation theorem showing fewer conditions suffice to represent a dBa as a pair of Boolean algebras linked by adjoint maps. We generalize the glued-sum construction to possibly overlapping Boolean algebras, characterize them via a generalized order, and establish a Stone-type topological representation:…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-01-04","reactions":{}}