Publication:4636034

zbMath1400.03024MaRDI QIDQ4636034

Wesley H. Holliday, Guram Bezhanishvilli

Publication date: 23 April 2018

zbMATH Keywords

locale; nucleus; Heyting algebra; intuitionistic logic; lax logic

Mathematics Subject Classification ID

06D20: Heyting algebras (lattice-theoretic aspects)

03G25: Other algebras related to logic

03B20: Subsystems of classical logic (including intuitionistic logic)