Die Arbeitsgruppe repräsentiert die Mathematische Logik als angewandte Grundlagendisziplin zwischen Mathematik und Informatik. Die Forschungsaktivitäten konzentrieren sich auf die Anwendungen beweistheoretischer, rekursionstheoretischer, kategorieller, algebraischer und modelltheoretischer Methoden der Logik in Mathematik und Informatik.

Neben der klassischen Mathematischen Logik (Beweistheorie, Rekursionstheorie, Modelltheorie) spielen hier konstruktive und kategorielle Logik, Funktional- und Realisierbarkeitsinterpretationen, allgemeine Algebra, Domaintheorie, Verbandstheorie, endliche Modelltheorie und algorithmische Fragestellungen eine wesentliche Rolle.