Heyting algebra

bounded lattice that models intuitionistic propositional logic