AGATE

The research project "Mathematische Logik" pursues the goal of documenting, structuring and representing the current state of knowledge in the field of mathematical logic and related areas in its full breadth and depth, as well as making the existing knowledge accessible according to specific requirements. For this field of science, the constantly growing publication activity and the increasing scattering of scientific results is to be countered by a unifying instrument to secure the entire state of knowledge of this field from its origins and to make its contents available. For this purpose, the project maintains a comprehensive, almost complete, structured bibliography of literature from the above-mentioned areas and develops formalisms for the functional representation of content-related knowledge with the possibility of specific information searches and information transfer. The underlying database is accessible via a generally accessible information system for mathematical logic (for further information see: math-logic), which coordinates and prepares the globally available services.