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

• Obrázky, zvuky či videa k tématu Heytingova algebra na Wikimedia Commons

Autoritní data	LCCN: sh2010014322 NLI: 987007572533605171