Dicomplemented Lattices

Das Ziel dieser Arbeit ist es die mathematische Theorie der Begriffsalgebren zu entwickeln. Wir betrachten dabei hauptsaechlich das Repraesentationsproblem dieser vor Kurzem eingefuehrten Strukturen. Motiviert durch die Suche nach einer geeigneten Negation sind die Begriffsalgebren entstanden. Sie sind nicht nur fuer die Philosophie oder die Wissensrepraesentation von Interesse, sondern auch fuer andere Felder, wie zum Beispiel Logik oder Linguistik. Das Problem Negationen geeignet einzufuehren, ist sicher eines der aeltesten der wissenschaftlichen oder philosophischen Gemeinschaft und erregt auch zur Zeit die Aufmerksamkeit vieler Wissenschaftler. Verschiedene Typen von Logik (die sich sehr stark durch die eigefuehrte Negation unterscheiden) unterstreichen die Wichtigkeit dieser Untersuchungen. In dieser Arbeit beschaeftigen wir uns hauptsaechlich mit der kontextuellen Logik, eine Herangehensweise der Formalen Begriffsanalyse, basierend auf der Idee, den Begriff als Einheit des Denkens aufzufassen.

Level thesis:degree_level

thesis.doctoral

Grantor dc:publisher

Technische Universität Dresden

Year

2004

Author dc:creator

• Kwuida, Leonard

Contributors dc:contributor

• Ganter, Bernhard
• Wille, Rudolf
• Davey, Brian Albert

• Begriffsalgebren
• Boolesche Algebren
• Boolesche Begriffsalgebren
• Darstellungssatz
• Formale Begriffsanalyse
• Kongruenzen
• Kontextuelle Logik
• Merkmalexploration
• Negation
• Skeleton
• Strukturtheory
• Tripel Konstruktion
• Varietaeten
• dikomplementaere Verbae
• Boolean Concept Logic
• Boolean algebras
• Concept algebras
• Contextual logic
• Formal Concept Analysis
• Representation
• attribute exploration
• congruence
• dicomplemented lattices
• skeletons
• structure theory
• triple construction
• varieties