Über das Auflösungsproblem im logischen Klassenkalkul. (Q1491297)

Beweis mehrerer Sätze im Anschluß\ an \textit{Schröders} ``Vorlesungen über Algebra der Logik'' und an die Programmabhandlung von \textit{Eugen Müller} ``Über die Algebra der Logik. Die Grundlagen des Gebietekalkuls'' (1900). Ein Referat ist nicht gut möglich, weil zu viele Begriffe erklärt werden müßten. Am Schlusse wird eine von \textit{Schröder} als symmetrisch bezeichnete Auflösung einer Gleichung als irrig bezeichnet, weil die betreffende Gleichung überhaupt nicht symmetrisch auflösbar sei.