Heytingova algebra: Porovnání verzí

'''Heytingova algebra''' je svaz, kdev němž platí 

<math>a \land c \leqslant b \equiv c \leqslant a \rightarrow b</math>. Jde o sémantiku [[intuicionistická logika|intuicionistické logiky]], tedy nejslabší logiky, ves&nbsp;odvozovacím které platípravidlem [[modus ponens]].

Heytingovým algebrám odpovídají topologické prostory, kdev&nbsp;nichž výroky jsou otevřené množiny a

<math>\neg a \equiv \textrm{int}(a^c)</math>. V &nbsp;takové algebře neplatí [[tertium non datur]], tedy&nbsp;