Subalgebras of closure algebras (Q2367904)

A closure algebra is a Boolean algebra \(C\) together with a closure operator \(^ -\), that is, a unary operator: \(C\mapsto C\) satisfying: (i) \(0^ -=0\), (ii) \(a\leq a^ -\), (iii) \(a^{--}=a^ -\), and (iv) \((a\lor b)^ -= a^ -\lor b^ -\). Closure algebras have been intensively studied in the literature, but, up to now, little interest has been devoted to subalgebras of closure algebras. In this paper, the methods of the second author [``On the subalgebra lattice of a Heyting subalgebra'' (submitted)] are adapted to characterize closure algebras with a distributive, or a Boolean, subalgebra lattice.