Heytingova algebra je svaz, v němž platí
. 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
. V takové algebře neplatí tertium non datur, tedy
.
Externí odkazy
Zdroj
Poslední aktualizace obsahu: 2023-12-20 05:42:11
Zdroj: Wikipedia (autoři článku Heytingova algebra)
Licence textu: CC-BY-SA-3.0 Unported
Tento článek byl automaticky přejat z Wikipedie. Na obrázcích nebyly provedeny žádné změny. Obrázky se zobrazují ve zmenšené velikosti (jako miniatury). Kliknutím na obrázek získáte další informace o autorovi a licenci. Byly změněny prvky designu, odstraněny některé odkazy specifické pro Wikipedii (např. odkazy na Editaci a nebo na neexistující hesla) a provedena optimalizace pro rychlé načítání.