Publication:4636034
From MaRDI portal
zbMath1400.03024MaRDI QIDQ4636034
Wesley H. Holliday, Guram Bezhanishvilli
Publication date: 23 April 2018
06D20: Heyting algebras (lattice-theoretic aspects)
03G25: Other algebras related to logic
03B20: Subsystems of classical logic (including intuitionistic logic)
Related Items
Lattices of Intermediate Theories via Ruitenburg's Theorem, A semantic hierarchy for intuitionistic logic, Three roads to complete lattices: orders, compatibility, polarity, Admissible rules for six intuitionistic modal logics, B-frame duality