A b s t r a c t. Confirming a conjecture of K. Palasinska and D. Pigozzi we prove that the set of quasi-identities of a finite algebra can be finitely axiomatized by a Gentzen-style calculus which results from the calculus of Selman by adding one new inference rule.