Return to Article Details The axiomatization of Horst Wessel’s strict logical consequence relation Download Download PDF