Ein Vollständigkeitsbeweis für schnittfreie Kalküle mit der Maximalisierungsmethode von Henkin. Jürgen-Michael Glubrecht (1982) Archiv für mathematische Logik und Grundlagenforschung
Eine algebraische Konstruktion abzählbarer Modelle. W. Schönfeld (1977) Archiv für mathematische Logik und Grundlagenforschung
Eine Logik vager Sätze. Franz v. Kutschera (1984) Archiv für mathematische Logik und Grundlagenforschung
Equational Reformulations of Intuitionistic Propositional Calculus and Classical First-order Predicate Calculus Branislav R. Boričić (1981) Publications de l'Institut Mathématique