Ein verallgemeinerter Widerlegungsbegriff für Gentzenkalküle. Franz v. Kutschera — 1969 Archiv für mathematische Logik und Grundlagenforschung
Freges Begründung der Analysis. Franz v. Kutschera — 1971 Archiv für mathematische Logik und Grundlagenforschung
Die Vollständigkeit des Operatorensystems {..., ..., ..., ...} für die intuituionistische Aussagenlogik im Rahmen der Gentzensemantik. Franz v. Kutschera — 1967 Archiv für mathematische Logik und Grundlagenforschung
Eine Logik vager Sätze. Franz v. Kutschera — 1984 Archiv für mathematische Logik und Grundlagenforschung