Showing math.LOShow all
3 papers · 1 filter
math.LO2026
The pairwise Stone space of an S4 De Morgan algebra
Joseph McDonald, Filip Jankovec
The purpose of this study is to investigate the bitopological duality theory of De Morgan algebras equipped with a closure operator, known as S4 De Morgan algebras. We first introd…
math.LO2026
Monadic and cylindric expansions of bounded implication algebras
Joseph McDonald
Implication algebras were introduced by Abbott as algebraic models of the operation of Boolean implication in the classical propositional calculus. In this work, we study additiona…
math.LO2025
Canonical completion and duality for cylindric ortholattices and cylindric Boolean algebras
Joseph McDonald
In this note, we investigate the algebraic and topological representation theory of cylindric ortholattices and cylindric Boolean algebras. The first contribution demonstrates that…