ハイティング代数
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.