Translator Disclaimer
December 2012 A constructive Galois connection between closure and interior
Francesco Ciraulo, Giovanni Sambin
J. Symbolic Logic 77(4): 1308-1324 (December 2012). DOI: 10.2178/jsl.7704150

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

Download 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

Published: December 2012
First available in Project Euclid: 15 October 2012

zbMATH: 1275.03161
MathSciNet: MR3051628
Digital Object Identifier: 10.2178/jsl.7704150

Rights: Copyright © 2012 Association for Symbolic Logic

JOURNAL ARTICLE
17 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

SHARE
Vol.77 • No. 4 • December 2012
Back to Top