In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. London: College Publications. pp. 177-196 (2016)
AbstractIt is a classic result in lattice theory that a poset is a complete lattice iff it can be realized as fixpoints of a closure operator on a powerset. Dragalin [9,10] observed that a poset is a locale (complete Heyting algebra) iff it can be realized as fixpoints of a nucleus on the locale of upsets of a poset. He also showed how to generate a nucleus on upsets by adding a structure of “paths” to a poset, forming what we call a Dragalin frame. This allowed Dragalin to introduce a semantics for intuitionistic logic that generalizes Beth and Kripke semantics. He proved that every spatial locale (locale of open sets of a topological space) can be realized as fixpoints of the nucleus generated by a Dragalin frame. In this paper, we strengthen Dragalin’s result and prove that every locale—not only spatial locales—can be realized as fixpoints of the nucleus generated by a Dragalin frame. In fact, we prove the stronger result that for every nucleus on the upsets of a poset, there is a Dragalin frame based on that poset that generates the given nucleus. We then compare Dragalin’s approach to generating nuclei with the relational approach of Fairtlough and Mendler , based on what we call FM-frames. Surprisingly, every Dragalin frame can be turned into an equivalent FM-frame, albeit on a different poset. Thus, every locale can be realized as fixpoints of the nucleus generated by an FM-frame. Finally, we consider the relational approach of Goldblatt  and characterize the locales that can be realized using Goldblatt frames.
Similar books and articles
Compactly generated Hausdorff locales.Martín H. Escardó - 2006 - Annals of Pure and Applied Logic 137 (1-3):147-163.
Generalized Bosbach and Riečan states on nucleus-based-Glivenko residuated lattices.Bin Zhao & Hongjun Zhou - 2013 - Archive for Mathematical Logic 52 (7-8):689-706.
Aspects of general topology in constructive set theory.Peter Aczel - 2006 - Annals of Pure and Applied Logic 137 (1-3):3-29.
On poset Boolean algebras of scattered posets with finite width.Robert Bonnet & Matatyahu Rubin - 2004 - Archive for Mathematical Logic 43 (4):467-476.
Measure, randomness and sublocales.Alex Simpson - 2012 - Annals of Pure and Applied Logic 163 (11):1642-1659.
The Space of Measurement Outcomes as a Spectral Invariant for Non-Commutative Algebras.Bas Spitters - 2012 - Foundations of Physics 42 (7):896-908.
On the parallel between the suplattice and preframe approaches to locale theory.Christopher F. Townsend - 2006 - Annals of Pure and Applied Logic 137 (1-3):391-412.
Frames and MV-Algebras.Lawrence P. Belluce & Antonio Di Nola - 2005 - Studia Logica 81 (3):357 - 385.
The collapse of the descriptive complexity of truth definitions. Completions of Heyting and Boolean algebras.A. G. Dragalin - 1991 - Bulletin of the Section of Logic 20 (3/4):94-95.
Sémantique algébrique ďun système logique basé sur un ensemble ordonné fini.Abir Nour - 1999 - Mathematical Logic Quarterly 45 (4):457-466.
Compactness in locales and in formal topology.Steven Vickers - 2006 - Annals of Pure and Applied Logic 137 (1-3):413-438.
On Some Semi-Intuitionistic Logics.Juan M. Cornejo & Ignacio D. Viglizzo - 2015 - Studia Logica 103 (2):303-344.
Completeness of S4 for the Lebesgue Measure Algebra.Tamar Lando - 2012 - Journal of Philosophical Logic 41 (2):287-316.
Modalities in linear logic weaker than the exponential “of course”: Algebraic and relational semantics. [REVIEW]Anna Bucalo - 1994 - Journal of Logic, Language and Information 3 (3):211-232.
Added to PP
Historical graph of downloads
Citations of this work
No citations found.
References found in this work
The Boundary Stones of Thought: An Essay in the Philosophy of Logic.Ian Rumfitt - 2015 - Oxford, England: Oxford University Press.
Models for normal intuitionistic modal logics.Milan Božić & Kosta Došen - 1984 - Studia Logica 43 (3):217 - 245.
Sheaves and Logic.M. P. Fourman, D. S. Scott & C. J. Mulvey - 1983 - Journal of Symbolic Logic 48 (4):1201-1203.
Mathematical Intuitionism. Introduction to Proof Theory.A. G. Dragalin & E. Mendelson - 1990 - Journal of Symbolic Logic 55 (3):1308-1309.