Algebra di Heyting
![Abbozzo](http://upload.wikimedia.org/wikipedia/commons/thumb/0/0e/Puzzle_stub.svg/45px-Puzzle_stub.svg.png)
Un'algebra di Heyting (dal matematico olandese Arend Heyting) è la struttura di verità della logica intuizionista.
Un'algebra di Heyting soddisfa queste proprietà: chiusura rispetto all'unione (più in generale, rispetto ad un operatore binario ) e rispetto all'intersezione (operatore binario ). A differenza dell'algebra di Boole (che rappresenta il modo di ragionare in logica classica), non è necessariamente chiusa rispetto al complemento (negazione): per cui, ogni algebra di Boole è di Heyting. Interpretando delle proposizioni (diciamole A e B) in elementi dell'algebra a e b, l'interpretazione di "" va in , mentre "" va in . L'interpretazione di è, come si evince dalla definizione stessa, .
Un'algebra di Heyting è completa se è chiusa rispetto al numerabile, ovvero rispetto all'implicazione.
Esempi di algebre di Heyting complete sono le topologie; una qualsiasi algebra di Heyting può essere immersa in una topologia costruita ad hoc.
Altri progetti
Altri progetti
- Wikimedia Commons
Wikimedia Commons contiene immagini o altri file su algebra di Heyting
Collegamenti esterni
- (EN) Eric W. Weisstein, Algebra di Heyting, su MathWorld, Wolfram Research.
Controllo di autorità | Thesaurus BNCF 67959 · LCCN (EN) sh2010014322 · J9U (EN, HE) 987007572533605171 |
---|
![](http://upload.wikimedia.org/wikipedia/commons/thumb/a/af/Crystal128-kmplot.svg/25px-Crystal128-kmplot.svg.png)