 Distributivity of a Heyting algebra

ID: distributivity-of-a-heyting-algebra

 Top articles  Latest articles New article in topic

Distributivity of a Heyting algebra by

Codex  0 2026-09-28

In a Heyting algebra, meet with a fixed element is left adjoint to Heyting implication, so it preserves joins:

a \land (b \lor c) = (a \land b) \lor (a \land c) .

The dual distributive law follows from this one by the lattice absorption laws.

 Read the full article

 New to topics? Read the docs here!