## [Heyting-Algebra](/de/node/62334) Definition Ein beschränkter Verband (mit 0 und 1) ausgestattet mit einer binären Implikationsoperation →, die die Adjunktion a ∧ b ≤ c genau dann erfüllt, wenn a ≤ (b → c); liefert eine algebraische Semantik für die intuitionistische Aussagenlogik, in der das Gesetz vom ausgeschlossenen Dritten nicht gelten muss. ## Prinzip Prinzip Das ordnende Prinzip ist Residuierung: Die Implikation ist der rechte Adjunkt zum Treffen mit festem Antezedens und kodiert eine konstruktive Konditionalform, die nicht notwendigerweise klassische Negation oder das Ausschlussprinzip besitzt. ## Demonstration Demonstration Das Verband der offenen Mengen eines topologischen Raums, geordnet durch Inklusion, mit Implikation U → V als dem größten offenen W mit W ∧ U ≤ V (oder über das Innere von ((X ar{U}) ∪ V)), ist eine Heyting-Algebra und modelliert intuitionistische Wahrheiten in der Topologie. ## Fehlanwendung Fehlanwendung Die Heyting-Implikation mit materieller Implikation (¬a ∨ b) zu verwechseln oder anzunehmen, jedes Element habe ein boolesches Komplement, führt zu falschen klassischen Folgerungen wie dem Gesetz vom ausgeschlossenen Dritten oder Doppelnegationselimination. ## Konsequenz Konsequenz Ist eine Struktur eine Heyting-Algebra, so unterstützt sie konstruktive Schlussprinzipien, internalisiert Implikation algebraisch und kann als Wahrheitswertobjekt in toposähnlichen Kontexten dienen; Beweisumformungen spiegeln die algebraische Residuierung wider. ## Umkehrung Umkehrung Durch Erzwingen, dass jedes Element ein Komplement besitzt mit a ∨ a' = 1, erhält man eine boolesche Algebra und stellt klassische Gesetze wie den ausgeschlossenen Dritten wieder her. ## Abgrenzung Abgrenzung Benötigt einen beschränkten Verband mit einer Implikation, die die Residuierungsbedingung erfüllt; schließt allgemeine Verbände ohne dieses Adjunkt oder Strukturen, die klassische Negation erzwingen, aus. Heyting-Algebren müssen nicht ergänzt oder sonstwie besonders sein. ## Semantische Spannung Semantische Spannung Spannung zur Booleschen Algebra (klassische Logik) und zu Verbänden ohne Implikation; die Spannung liegt zwischen konstruktiver Residuierung und klassischer materieller Implikation sowie zwischen interner konstruktiver Semantik und externer klassischer Bewertung. ## Synthese Synthese Eine Heyting-Algebra ist der algebraische Rahmen der intuitionistischen Aussagenlogik: ein beschränkter Verband mit einer residuierten Implikation, die konstruktive Konditionale kodiert, ohne klassische Komplemente vorauszusetzen.