Heyting algebra
古典論理学がブール代数のモデルであるように、直観論理とハイティング代数には同様の関係がある。そのため、それぞれ論理和と論理積に対応する演算 formula_1 と formula_2 に吸収法則が成り立つ。