Abstract
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.
Citation
Francesco Ciraulo. Giovanni Sambin. "A constructive Galois connection between closure and interior." J. Symbolic Logic 77 (4) 1308 - 1324, December 2012. https://doi.org/10.2178/jsl.7704150
Information
