A constructive Galois connection between closure and interior

Journal of Symbolic Logic 77 (4):1308-1324 (2012)

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
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2178/jsl.7704150
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 38,878
Through your library

References found in this work BETA

Inductively Generated Formal Topologies.Thierry Coquand, Giovanni Sambin, Jan Smith & Silvio Valentini - 2003 - Annals of Pure and Applied Logic 124 (1-3):71-106.
On Closed Subsets of the Intuitionistic Reals.Robin J. Grayson - 1983 - Mathematical Logic Quarterly 29 (1):7-9.

Add more references

Citations of this work BETA

Positivity Relations on a Locale.Francesco Ciraulo & Steven Vickers - 2016 - Annals of Pure and Applied Logic 167 (9):806-819.

Add more citations

Similar books and articles

Analytics

Added to PP index
2012-11-03

Total views
6 ( #797,875 of 2,318,381 )

Recent downloads (6 months)
2 ( #571,679 of 2,318,381 )

How can I increase my downloads?

Monthly downloads

My notes

Sign in to use this feature