Patzig's own work shows syllogistic can be formalized either way; the distinction may be notational,...
This proposition has not been edited since the history system was added.