Locales, nuclei, and Dragalin frames

zbMATH Open1400.03024MaRDI QIDQ4636034FDOQ4636034

Authors: Guram Bezhanishvilli, Wesley H. Holliday 

Publication date: 23 April 2018

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

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)

Cited In (8)

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

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)