A note on the associative law in logical algebras. (Q2605664)

Von \textit{P. Bernays} [Math. Z. 25, 305--320 (1926; JFM 52.0049.01)] wurde gezeigt, daß innerhalb des Formalismus der \textit{Principia Mathematica} das dort als Axiom aufgestellte assoziative Gesetz des Aussagenkalküls sich aus den anderen Axiomen beweisen läßt. Verf. zeigt, daß das gleiche Verhältnis in einer Reihe von anderen logischen Systemen vorliegt, die gewissen, hier angegebenen Bedingungen genügen.