AGATE

Das Unternehmen "Mathematische Logik" verfolgt das Ziel, den aktuellen Wissensstand aus dem Bereich der mathematischen Logik und angrenzender Gebiete in seiner vollen Breite und Tiefe zu dokumentieren, zu strukturieren und zu repräsentieren sowie das vorhandene Wissen spezifischen Anforderungen gemäß zugänglich zu machen. Für dieses Wissenschaftsgebiet soll damit der ständig wachsenden Publikationstätigkeit sowie der zunehmenden Verstreutheit wissenschaftlicher Resultate ein einheits-stiftendes Ordnungsinstrument zur Sicherung des gesamten Kenntnisstandes dieses Gebietes von seinen Ursprüngen an sowie zur Verfügbarmachung seiner Inhalte entgegen gesetzt werden. Zu diesem Zweck unterhält das Unternehmen eine umfassende, annähernd vollständige, strukturierte Bibliographie der Literatur aus den genannten Bereichen und entwickelt Formalismen zur funktionsgerechten Darstellung inhaltlichen Wissens mit der Möglichkeit spezifischer Informationssuche und Informationsvermittlung. Die zugrundeliegende Datenbank ist über ein allgemein zugängliches Informationssystem für die mathematische Logik (Weitere Informationen unter: math-logic) erreichbar, das die weltweit verfügbaren Angebote zentral koordiniert und aufbereitet.