Die Dissertation behandelt das logische System der Pierceschen Algebraischen Logik, die zugehörigen Relationengraphen und diernMöglichkeiten, diese zur Modellierung von begriffsorientierten Datenbanken zu verwenden. Das herausragende mathematische Ergebnis der Dissertation ist der Beweis der Peirceschen Reduktionsthese (die besagt, dass allernRelationen aus dreistelligen erzeugt werden können, aber die ein- undrnzweistelligen dazu nicht ausreichen). Damit konnte ein über hundert Jahre altes Problem gelöst werden.