Locales, nuclei, and Dragalin frames

MaRDI QIDQ4636034zbMATH OpenFDO

Authors Guram Bezhanishvilli, Wesley H. Holliday

Publication date 23 April 2018

zbMATH Keywords

intuitionistic logicnucleuslocaleHeyting algebralax logic

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Other algebras related to logic (03G25) Heyting algebras (lattice-theoretic aspects) (06D20)

Recommendations

• When is the frame of nuclei spatial: a new approach
• An algebraic approach to subframe logics. Intuitionistic case
• scientific article; zbMATH DE number 2068084
• Joins in the frame of nuclei
• The other closure and complete sublocales

Cited in

(8)

• Three roads to complete lattices: orders, compatibility, polarity
• B-frame duality
• Cover systems for the modalities of linear logic
• Lattices of Intermediate Theories via Ruitenburg's Theorem
• Admissible rules for six intuitionistic modal logics
• Substructural nuclear (image-based) logics and operational Kripke-style semantics
• A semantic hierarchy for intuitionistic logic
• Correspondence theory for modal Fairtlough-Mendler semantics of intuitionistic modal logic

This page was built for publication: Locales, nuclei, and Dragalin frames

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4636034)