Gerüste Formaler Kontexte
TU Dresden, Diplomarbeit, (2009)Abstract
1976 wurde von Rudolf Wille das Gerüst eines vollständigen Verbandes V endlicher Länge eingeführt. Dieses besteht aus einer (geordneten) Teilmenge von V, aus der
der gesamte Verband rekonstruiert werden kann. In der Formalen Begriffsanalyse werden vollständige Verbände durch Kontexte beschrieben. Um mit diesen arbeiten zu können, wurden diverse verbandstheoretische Konzepte und Resultate für vollständige Verbände adaptiert und begriffsanalytisch, d. h. mit Hilfe von Kontexten formuliert. Ein Ziel dieser Diplomarbeit ist es, die Konstruktion des Gerüstes eines Begriffsverbandes aus einem Kontext heraus beschreiben zu können. Die Anwendbarkeit des Gerüstes wird dabei von vollständigen Verbänden endlicher Länge auf doppelt fundierte vollständige Verbände (bzw. deren reduzierte Kontexte) erweitert. Im zweiten Teil der Arbeit wird die von M_3 erzeugte Varietät betrachtet. Die darin enthaltenen doppelt fundierten vollständigen Verbände werden anhand ihrer reduzierten Kontexte charakterisiert.
