A constructive Galois connection between closure and interior
From MaRDI portal
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.
Recommendations
- Some relations between closure operators, inner operators and connections
- Interior operators and topological separation
- Intuitionistic propositional logic with Galois connections
- Closure operators and connectedness
- Some relations between prime inner operators, prime closure operators and connections
Cites work
- Boolean Algebras with Operators. Part I
- Formal topologies on the set of first-order formulae
- scientific article; zbMATH DE number 1216133 (Why is no real title available?)
- Inductively generated formal topologies.
- On CLOSED SUBSETS OF THE INTUITIONISTIC REALS
- Some points in formal topology.
- The overlap algebra of regular opens
Cited in
(9)- Embedding locales and formal topologies into positive topologies
- Factorizing the \(\mathbf{Top}\)-\(\mathbf{Loc}\) adjunction through positive topologies
- Positivity relations on a locale
- On the constructive notion of closure maps
- Intuitionistic propositional logic with Galois connections
- Some relations between closure operators, inner operators and connections
- A GALOIS CORRESPONDENCE BETWEEN CLOSURE SPACES AND RELATIONAL SYSTEMS
- Some relations between prime inner operators, prime closure operators and connections
- The overlap algebra of regular opens
This page was built for publication: A constructive Galois connection between closure and interior
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4899177)
