- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
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 complementOther Versions
No versions found
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
Fuzzy Galois connections on fuzzy posets.Wei Yao & Ling-Xia Lu - 2009 - Mathematical Logic Quarterly 55 (1):105-112.
Fuzzy closure systems on L-ordered sets.Lankun Guo, Guo-Qiang Zhang & Qingguo Li - 2011 - Mathematical Logic Quarterly 57 (3):281-291.
Completeness and super-valuations.Gary M. Hardegree - 2005 - Journal of Philosophical Logic 34 (1):81 - 95.
A Proof of Tarski’s Fixed Point Theorem by Application of Galois Connections.Marek Nowak - 2015 - Studia Logica 103 (2):287-301.
Approximate Reasoning Based on Similarity.M. Ying, L. Biacino & G. Gerla - 2000 - Mathematical Logic Quarterly 46 (1):77-86.
Graded consequence relations and fuzzy closure operator.Giangiacomo Gerla - 1996 - Journal of Applied Non-Classical Logics 6 (4):369-379.
Fuzzy Closure Operators with Truth Stressers.Radim Bělohlávek, Taťána Funioková & Vilém Vychodil - 2005 - Logic Journal of the IGPL 13 (5):503-513.
Noise–Disturbance Relation and the Galois Connection of Quantum Measurements.Claudio Carmeli, Teiko Heinosaari, Takayuki Miyadera & Alessandro Toigo - 2019 - Foundations of Physics 49 (6):492-505.
Hyperformulas and Solid Algebraic Systems.Klaus Denecke & Dara Phusanga - 2008 - Studia Logica 90 (2):263-286.
Analytics
Added to PP
2012-11-03
Downloads
43 (#520,375)
6 months
11 (#350,815)
2012-11-03
Downloads
43 (#520,375)
6 months
11 (#350,815)
Historical graph of downloads
Citations of this work
Positivity relations on a locale.Francesco Ciraulo & Steven Vickers - 2016 - Annals of Pure and Applied Logic 167 (9):806-819.
Embedding locales and formal topologies into positive topologies.Francesco Ciraulo & Giovanni Sambin - 2018 - Archive for Mathematical Logic 57 (7-8):755-768.
Factorizing the Top\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbf {Top}$$\end{document}–Loc\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbf {Loc}$$\end{document} adjunction through positive topologies. [REVIEW]Francesco Ciraulo, Tatsuji Kawai & Samuele Maschio - 2021 - Archive for Mathematical Logic 60 (7-8):967-979.
References found in this work
Inductively generated formal topologies.Thierry Coquand, Giovanni Sambin, Jan Smith & Silvio Valentini - 2003 - Annals of Pure and Applied Logic 124 (1-3):71-106.
Formal topologies on the set of first-order formulae.Thierry Coquand, Sara Sadocco, Giovanni Sambin & Jan Smith - 2000 - Journal of Symbolic Logic 65 (3):1183-1192.
Positivity relations on a locale.Francesco Ciraulo & Steven Vickers - 2016 - Annals of Pure and Applied Logic 167 (9):806-819.
Regular opens in constructive topology and a representation theorem for overlap algebras.Francesco Ciraulo - 2013 - Annals of Pure and Applied Logic 164 (4):421-436.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-648784bb4d-mnmvz uwo