A regular completion for the variety generated by the three-element Heyting algebra. (English) Zbl 1229.06001
Summary: We show that the variety generated by the three-element Heyting algebra admits a meet dense, regular completion even though it is not closed under MacNeille completions.
MSC:
| 06B23 | Complete lattices, completions |
| 06D20 | Heyting algebras (lattice-theoretic aspects) |
| 06B20 | Varieties of lattices |
