Heyting algebra
Free Heyting algebra on an arbitrary set of generators.