Eine semantische Charkterisierung der durch die Implikation allein darstellbaren Wahrheitsfunktionen. R. Villars — 1966 Archiv für mathematische Logik und Grundlagenforschung