Characterization of boolean topological logics - Short form: Boolean topological logics

We investigate logics that are derived from topological spaces; such logics were first described by Westmoreland and Schumacher in 1993. Here, we explore the relationship between the logic systems and the topologies used to construct them. Special attention is given to Boolean topological logics. We show a characterization of these logics by proving that a topological logic is Boolean if and only if its underlying topology is a partition topology.