Zur Konstruktiven Deutung der semantischen Vollständigkeit klassischer Quantoren- und Modalkalküle. P. Lorenzen — 1972 Archiv für mathematische Logik und Grundlagenforschung
Die Vollständigkeit einer unverzweigten Variante des "analytischen" Entscheidungsverfahrens der klassischen Logik. P. Lorenzen — 1977 Archiv für mathematische Logik und Grundlagenforschung
Ein vereinfachtes Axiomensystem für Gruppen. P. Lorenzen — 1940 Journal für die reine und angewandte Mathematik