Heyting algebra
Given a Heyting algebra "H", the set of propositional formulas that are valid in "H" is an intermediate logic. Conversely, given an intermediate logic it is possible to construct its Lindenbaum–Tarski algebra, which is then a Heyting algebra.