Algebraische und Logistische Untersuchungen Über Freie Verbände. - Paul Lorenzen (J. Symb. Log., 1951)

Zur Begründung der Modallogik. - Paul Lorenzen (Arch. Math. Log., 1954)

Zur Begründung der Zweiwertigen Aussagenlogik. - Paul Lorenzen (Arch. Math. Log., 1954)

Zur Interpretation der Syllogistik. - Paul Lorenzen (Arch. Math. Log., 1956)

über die Syllogismen als Relationenmultiplikationen. - Paul Lorenzen (Arch. Math. Log., 1957)

Logical Reflection and Formalism. - Paul Lorenzen (J. Symb. Log., 1958)

Constructive Definition of Certain Analytic Sets of Numbers. - Paul Lorenzen; John R. Myhill (J. Symb. Log., 1959)

Die Vollständigkeit einer unverzweigten Variante des "analytischen" Entscheidungsverfahrens der klassischen Logik. - Paul Lorenzen (Arch. Math. Log., 1977)