Some properties of equality and implication in combinatory logic. (Q2619877)

Diese Abhandlung ist eine Erweiterung einer früheren Arbeit des Verf. (1933; F. d. M. \(59_{\text{II}}\), 863). Die Erweiterung besteht darin, daß gewisse Gleichheitsaxiome eingeführt, und daß einige Eigenschaften der Implikation, die früher nur als Hypothesen in gewissen Theoremen auftraten, hier ausdrücklich als Axiome formuliertwerden. In vorliegender Arbeit beschäftigt sich Verf. mit den Folgerungen dieser neuen Axiome. Die Theoreme 1-10 enthalten einige der einfachsten Folgerungen; besonders wichtig ist Theorem 7, woraus viele der Theoreme der früheren Arbeit folgen. In den Theoremen 11-14 wird ein allgemeines Ergebnis hergeleitet über die Beziehung zwischen gewissen Theoremen und den entsprechenden Formeln.