A constructive Galois connection between closure and interior
  We construct a Galois connection between closure and interior operators on a given set. All arguments are intuitionistically valid. Our construction is an intuitionistic version of the classical correspondence between closure and interior operators via complement. 
Francesco Ciraulo and Giovanni Sambin
math.LO math.CT math.GN