The postulates for ``strict implication''. (Q2619873)

Verf. vergleicht die Postulate für ``strenge Implikation'' (strict implication), die \textit{C. I. Lewis} und \textit{C. H. Langford} in ihrer ``Symbolic logic'' (New York 1932; F. d. M. 58) gebrauchen, mit den entsprechenden, die in der ersten Auflage des Buches Verwendung fanden (erschienen unter dem Titel ``A survey of symbolic logic'' 1918). Er zeigt mit Hilfe der Matrizenmethode, daß das neuere System schärfere Anforderungen an die vorkommenden Begriffe stellt. Dies war von den Verf. auch beabsichtigt, aber bisher noch nicht exakt bewiesen.