This is a preview of subscription content, log in via an institution to check access.
References
G. Frege, Grundgesetze der Arithmetik. Vgl. insbesondere1, S. 25–26.
Grundgesetze1, S. 61.
Principia Mathematica,1, S. 135–136.
Vgl. P. Bernays, Beiträge zur axiomatischen Behandlung des Logikkalküls. (Habilitationsschrift.)
Recht bezeichnend ist in diesem Zusammenhange eine Bemerkung Schröders in seiner Algebra der Logik,2, S. 190–191, die den Grund für manche sonst ganz unverständliche Willkür aufdeckt.
So auf Grund der allgemeinen Formel\('pr \cdot q\bar r_ \cdot \leftrightarrow q \cdot r^ + p.\bar r\) für die Distribution “homogener Entwicklungsformen” (Schröder1, S. 376). Andernfalls käme noch das Konjunktionsglied(\(\bar q\))\(\bar q\)(\(\bar q\))q hinzu.
Algebra der Logik2, S. 191.
Principia Mathematica1, S. 183.
Algebra der Logik2, S. 361.
Ebenda Algebra der Logik2, S. 283.
Algebra der Logik3, S. 508.
Algebra der Logik3, S. 510.
Ebenda Algebra der Logik S. 545.
Die als Lesezeichen dienenden Zwischensymbole wird man übrigens dessenungeachtet schematisch auswechseln. (Vgl. S. 179 u. 190.)
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Behmann, H. Beiträge zur Algebra der Logik, insbesondere zum Entscheidungsproblem. Math. Ann. 86, 163–229 (1922). https://doi.org/10.1007/BF01457985
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01457985