##
Reports on Mathematical Logic

###
No. 28 (1994)

Andrzej WRONSKI

GENTZEN-STYLE CALCULI FOR QUASI-IDENTITIES OF FINITE ALGEBRAS
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.

Back to Main Menu