Heytingova algebra

Heytingova algebra je svaz, v němž platí a \land c \leqslant b \equiv c \leqslant a \rightarrow 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 \textrm{int}(a^c). V takové algebře neplatí tertium non datur, tedy a \lor \neg a.

Externí odkazy

Kategorie:Konstruktivismus (matematika)