scientific article; zbMATH DE number 3855184
From MaRDI portal
Publication:3324006
AHTclosure algebrascongruencesfiltersidealsKuratowski closure operatorKuratowski interior operatormonadic Heyting algebrastopological Boolean algebrastopological Heyting algebra
Logical aspects of lattices and related structures (03G10) Galois correspondences, closure operators (in relation to ordered sets) (06A15) Lattice ideals, congruence relations (06B10) Varieties of lattices (06B20) Topological lattices (06B30) Heyting algebras (lattice-theoretic aspects) (06D20) Topological semilattices, lattices and applications (22A26)
Recommendations
Cited in
(4)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3324006)