ハイティング代数
The dual of an intuitionistic frame formula_71 is the Heyting algebra formula_76. The dual of a Heyting algebra formula_77 is the intuitionistic frame formula_78, where "F" is the set of all prime filters of A, the ordering formula_69 is inclusion, and "V" consists of all subsets of "F" of the form