Independent postulates related to C. I. Lewis'stheory of strict implication. (Q2619874)

Es wird hier durch dreizehn Postulate ein abstraktes mathematischen System gegeben, bestehend aus den Elementen einer bestimmten Menge und in dieser Menge definierten mathematischen Funktionen mit ein und zwei Argumenten, von dem das \textit{Lewis}sche System der ``strict implication'' als eine besondere Interpretation betrachtet werden kann, wenn man unter obigen Elementen die Aussagen des \textit{Lewis}schen Kalküls und unter den mathematischen Funktionen die Aussageverknüpfungen versteht. Von dem angegebenen Axiomensystem, das sich von dem bei \textit{Lewis} benutzten durch größere Einfachheit unterscheidet, wird mit Hilfe der Matrizenmethode die Unabhängigkeit und Widerspruchslosigkeit gezeigt.