Zur linearen Strukturierung des natürlichen prädikatenlogischen Schließens in der positiven Minimallogik, der Minimallogik, der intuitionistischen und der klassischen Logik - Auge, Karlheinz (1989)