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