Paul Hertz' Systems of Propositions as a Proof-theoretical Conception of Logic.
(Abstract soon to be announced)