Model existence theorem in superrelevant predicate logics. Miroslaw Szatkowski — 1987 Archiv für mathematische Logik und Grundlagenforschung