Rieger-Nishimura

Autor/Urheber:

EmilJ

Attribution:

Das Bild ist mit 'Attribution Required' markiert, aber es wurden keine Informationen über die Attribution bereitgestellt. Vermutlich wurde bei Verwendung des MediaWiki-Templates für die CC-BY Lizenzen der Parameter für die Attribution weggelassen. Autoren und Urheber finden für die korrekte Verwendung der Templates hier ein Beispiel.

Shortlink:

https://dewiki.de/b/21088f

Quelle:

Wikimedia Commons

Größe:

560 x 480 Pixel (5659 Bytes)

Beschreibung:

Hasse diagram of the Rieger–Nishimura lattice: the free Heyting algebra over one generator, or intuitionistic propositional formulas in one variable. It is the dual of the Rieger–Nishimura ladder.

Lizenz:

CC BY-SA 4.0

Bild teilen:

         

Weitere Informationen zur Lizenz des Bildes finden Sie hier. Letzte Aktualisierung: Tue, 14 Feb 2023 04:16:12 GMT

Relevante Artikel

In der Mathematik sind Heyting-Algebren spezielle partielle Ordnungen; gleichzeitig ist der Begriff der Heyting-Algebra eine Verallgemeinerung des Begriffs der Booleschen Algebra. Heyting-Algebren entstehen als Modelle intuitionistischer Logik, einer Logik, in der der Satz vom ausgeschlossenen Dritten im Allgemeinen nicht gilt. Vollständige Heyting-Algebren sind ein zentraler Gegenstand der punktfreien Topologie. .. weiterlesen