A constructive Galois connection between closure and interior
AbstractWe 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.
2009 ◽
Vol 130
(23)
◽
pp. 234107
◽
Keyword(s):
2010 ◽
Vol 83
(2)
◽
pp. 273-288
◽