Die Gesamtheit der idempotenten implikativen Modalitätenstrukturen. H. Arnold Schmidt — 1957 Archiv für mathematische Logik und Grundlagenforschung
Protologische Untersuchugen I: ein allgemeiner Rahmen für naturgemässe Deduktion. H. Arnold Schmidt — 1971 Archiv für mathematische Logik und Grundlagenforschung