Heytingova algebra

Heytingova algebra je svaz, v němž platí $a \land c ⩽ b \equiv c ⩽ a \to b$ . Jde o sémantiku intuicionistické logiky, tedy nejslabší logiky s odvozovacím pravidlem modus ponens.

Heytingovým algebrám odpovídají topologické prostory, v nichž výroky jsou otevřené množiny a $\neg a \equiv int (a^{c})$ . V takové algebře neplatí tertium non datur, tedy $a \lor \neg a$ .