Pietruszczak, A. The Axiomatization of Horst Wessel’s Strict Logical Consequence Relation. LLP 2004, 13, 121-138.