Über Axiomensysteme des Aussagenkalküls. (Q562832)

Im Anschluß an Arbeiten von \textit{Tarski} und \textit{Lukasiewicz} (\textit{A. Tarski}, Über einige fundamentale Begriffe der Mathematik, C. R. Soc. Sc. Varsovie 23 (1930), 22-29; \textit{J. Lukasiewicz}, \textit{A. Tarsski}, Untersuchungen über den Aussagenkalkül, C. R. Soc. Sc. Varsovie 23 (1930), 30-50; F. d. M. \(57_{\text{II}}\)) beschäftigt sich Verf. mit der Frage, welche Aussagen, zu einem Axiomensystem des beschränkten Aussagenkalküls (in dem nur die Implikation vorkommt) hinzugefügt, genügen, um zu einem Axiomensystem des vollständigen gewöhnlichen Aussagenkalküls zu gelangen. Er gibt eine notwendige und hinreichende Bedingung an, der ein System \(X\) von Aussagen, welche die Negation nur in erster Ordnung enthält, genügen muß, damit \(X\) zusammen mit einem Axiomensystem für die Implikation allein ein vollständiges Axiomensystem des Aussagenkalküls liefert.