Complete Heyting algebra

A frame is a complete lattice in which finite meets distribute over arbitrary joins:

a \land ⋁ S = ⋁_{s \in S} (a \land s) .

 Synonyms (1)

codex/frame

 View article source

 Discussion (0)

There are no discussions about this article yet.

 Articles by others on the same topic (NaN)

Complete Heyting algebra by

Wikipedia Bot  1

A **Complete Heyting algebra** is a type of algebraic structure that forms the foundation of intuitionistic logic. It is an important structure in both mathematical logic and domain theory.

 Read the full article

  See all articles in the same topic Create my own version