Leibniz filters and the strong version of a protoalgebraic logic